Added not so good search to Solver