subSolver