Update Solver.cpp