Use the solver in a basic way from a test