[model-checking] Порядок экзамена + про тех, кто на пересдачу