"finished" main solve method
	modified:   src/Solver.java