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

这句话保证有解，但为什么样例还是有 0？