题面中说：“同时小 F 知道：存在给每一个变量赋值的方案同时满足所有这些限制。”但是样例却存在无解的情况，这样算不算题面有误？