[model-checking] Выставление оценок группам 427-428