Some thoughts I had, haven't checked them in too much detail but they feel pretty good to me. I invite the members of this list to complete the proof and write it up to a level sufficient to allow it to be published. You can ask anyone for help as long as you add their names to the paper.

Probably the cleanest approach to finishing the proof is to tackle the specific case of 3-SAT.

--