Solver is now working, verified.