Update SolverTest.java