Using the solver

TODO