Added a Solver