题干中清楚交代“同时小 F 知道：存在给每一个变量赋值的方案同时满足所有这些限制”

然而样例一的第三组数据就出现了方案数为0的数据