He spent the next month coming up with an algorithm to solve it, not knowing if such an algorithm was even possible.
After he sold the puzzle, he traveled around to various conferences, to prove it could be solved.