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