[model-checking] Время и место досрочного экзамена