Finished the solver