题目中说：

同时小 F 知道：存在给每一个变量赋值的方案同时满足所有这些限制。

意思就是保证有解。

样例没有 $0$ 我甚至不会判无解。

望 €€£ 提高题目质量，不要自相矛盾。