当添加一个条件以后，如果出现了矛盾，那么必须要立马输出矛盾。

只有当确定了这个图里没有矛盾，才可以确定无解。

就因为这一个点导致 $100 \Rightarrow 30$，并且还调了半个多小时。