testSolver