45. Adding a solver