2SAT에서 모순이 처음 발생하는 지점을 찾는 문제라고 보고 접근했는데 어케 푸는지를 모르겠음
혹시 2SAT 안 쓰는 풀이가 있는건가