If the constraint store is unsatisfiable, this simplification may detect this unsatisfiability sometimes, but not always.
Ако је ограничење продавница unsatisfiability, ово поједностављивање може открити овај unsatisfiability понекад, али не увек.