Minor change in ExactSolverTest.java.