图论-2-SAT