Это те проблемы, которые SAT мог бы выявить, но система UC не имеет права запрашивать или смотреть результаты тестов