SubtractSolver