Update solver.java