ok then. This shifts the hard part of the problem from "how do I make this run in a lifetime", to "how do I reduce this problem to 3SAT efficiently". This seem

ok then. This shifts the hard part of the problem from "how do I make this run in a lifetime", to "how do I reduce this problem to 3SAT efficiently". This seems to be related: http://en.wikipedia.org/wiki/P_%3D_NP_problem#Consequences_of_proof http://en.wikipedia.org/wiki/P_%3D_NP_problem#Consequences_o...