Программа печатает "NO", когда условие (s > A) or (t > 12) ложно, то есть s <= A и t <= 12.
Рассмотрим 9 запусков с парами (s, t):
- (13, 2): s = 13, t = 2. Условие "NO": 13 <= A и 2 <= 12.
- (11, 12): s = 11, t = 12. Условие "NO": 11 <= A и 12 <= 12.
- (-12, 12): s = -12, t = 12. Условие "NO": -12 <= A и 12 <= 12.
- (2, 2): s = 2, t = 2. Условие "NO": 2 <= A и 2 <= 12.
- (-10, -10): s = -10, t = -10. Условие "NO": -10 <= A и -10 <= 12.
- (6, -5): s = 6, t = -5. Условие "NO": 6 <= A и -5 <= 12.
- (2, 8): s = 2, t = 8. Условие "NO": 2 <= A и 8 <= 12.
- (9, 10): s = 9, t = 10. Условие "NO": 9 <= A и 10 <= 12.
- (1, 13): s = 1, t = 13. Условие "YES": t > 12.
Для того чтобы программа напечатала "NO" восемь раз, необходимо, чтобы для восьми пар чисел выполнялось условие s <= A и t <= 12, а для одной пары (в данном случае, для (1, 13)) условие не выполнялось (то есть программа печатала "YES").
Найдем максимальное значение s среди первых восьми пар: 13, 11, -12, 2, -10, 6, 2, 9. Максимальное значение s равно 13. Тогда, чтобы условие s <= A выполнялось для восьми пар, необходимо, чтобы A >= 13. Наименьшее целое значение A, удовлетворяющее этому условию, равно 13.
Проверим, что при A = 13 программа напечатает "NO" восемь раз:
- (13, 2): 13 <= 13 и 2 <= 12 - "NO"
- (11, 12): 11 <= 13 и 12 <= 12 - "NO"
- (-12, 12): -12 <= 13 и 12 <= 12 - "NO"
- (2, 2): 2 <= 13 и 2 <= 12 - "NO"
- (-10, -10): -10 <= 13 и -10 <= 12 - "NO"
- (6, -5): 6 <= 13 и -5 <= 12 - "NO"
- (2, 8): 2 <= 13 и 8 <= 12 - "NO"
- (9, 10): 9 <= 13 и 10 <= 12 - "NO"
- (1, 13): 1 <= 13, но 13 > 12 - "YES"
Ответ: 13