Solving (Full Version)