rt，2-sat 主题库同色的三道题都和版子差不多，这个题 2-sat 建图上的变形算大的。

而且 2-sat 也有建图没怎么变动的紫，cf评分2400升紫感觉也算合适（？