[model-checking] Пересдача 14 июня