Solver nearly complete