With TestSolverTest