3-SAT

A beefed up 2-SAT. 3-SAT is NP-Complete.