[model-checking] Сроки сдачи 2-го задания