solverforall