Update Solver.py