Update Solver.h