main solvers