[model-checking] Проставление оценок очередной пересдачи