Solver complete.
Finished Solver.