[model-checking] Прием 5-го задания практикума в зачетную сессию