[model-checking] Пересдача 21.06