>>391,392
2SAT使う青diffの問題なんてなくね?仕組みは青でも理解できるものだけど