4 solvers