Started the actual solving