Smart Aliens Solver