Solver works now