Solver works.