Solver is working!