2-SAT
2-SAT + 二分