最开始胡了个 2-SAT 做法，但是 WA on 4，但是刚才看到标签里有 2-SAT，但是 tutorial 并没有写，有没有老哥给个 2-SAT 做法。