[model-checking] День зачета