Саме такі проблеми виявить SAT, але системі UC не дозволено запитувати або дивитися на результати тестів