[POI2001] 和平委员会 Peaceful Commission——2-sat(dfs构造字典序最小解)