Have you tried proving parts of the problem insoluble?