- 4 different solvers