AutoSolver.java modified