more solvers