Comment by ghostway

(of course, this doesn't mean we are in the clear -- a polynomial-time algorithm is alarming)