【算法】2-SAT