Solver can now be chosen, but there is a bug?