Solver correct but slow