[model-checking] Сдача третьего задания