added working versions of all solvers