I think I finished the Solver