imho the idea behind this sloppy question is a gem: Computational Complexity of Not All Equal SAT variant
- Is it allowed to ask in the comments if somebody can edit the question?
- Should there be a way a user can incite anyone to edit a question, such as a bounty?