the solver works!