ParentFull threaddevinj·I didn't say otherwise, and did explain why reducing 3-SAT to this proved NP-completeness.View on HN