Uploaded the new version of the solver