Update Solver.java