我的做法：先 $\Theta(m)$ 算出每个值最后变成了什么（$x_j,-x_j,T,F,U$），然后是 $x_j,-x_j$ 的就连无向边，每个连通块两遍 $dfs$

第一遍算出连通块大小，并判断是否有固定值（$T,F,U$），有的话因为存在一种构造，所以可以判断出是否需要全是 $U$

第二遍是第一遍没有的时候执行的，用边来进行染色，判定是否可以构成非 $U$ 染色

有人跟我一样吗（考试的时候莫名其妙乱搞的，似乎别人都是基环树/并查集/2-SAT，但是我想到并查集不敢写，怕带权权值写错挂掉）

违规自删