Укажите наибольшее целое значение параметра А, при котором для указанных входных данных программа напечатает «YES» три раза.

Анализ условия:

Программа выводит "YES", если условие `(s > A) or (t > 11)` истинно. Нам нужно найти наибольшее целое значение A, при котором это условие выполнится ровно три раза для заданных пар (s, t).

Заданные пары (s; t):

• (-9; 11)
• (2; 7)
• (5; 12)
• (2; -2)
• (7; -9)
• (12; 6)
• (9; -1)
• (7; 11)
• (11; -5)

Разбор условия `(s > A) or (t > 11)`:

Условие будет истинным, если:

• s > A (при t <= 11)
• t > 11 (при любом s)
• s > A и t > 11 одновременно.

Чтобы условие было ложным (выводилось "NO"), оба подпункта должны быть ложными:

• s <= A И t <= 11.

Поиск значения A:

Рассмотрим пары, для которых t > 11. Такие пары всего две:

• (5; 12) → t > 11 истинно, значит, условие `(s > A) or (t > 11)` будет истинным для ЛЮБОГО A.
• (7; 11) → t > 11 ложно.
• (11; -5) → t > 11 ложно.

Теперь рассмотрим пары, где t <= 11. Условие `(s > A) or (t > 11)` будет истинным только если `s > A`.

Пары, где t <= 11:

• (-9; 11) → s = -9. Условие: -9 > A.
• (2; 7) → s = 2. Условие: 2 > A.
• (2; -2) → s = 2. Условие: 2 > A.
• (7; -9) → s = 7. Условие: 7 > A.
• (12; 6) → s = 12. Условие: 12 > A.
• (9; -1) → s = 9. Условие: 9 > A.
• (7; 11) → s = 7. Условие: 7 > A.
• (11; -5) → s = 11. Условие: 11 > A.

Нам нужно, чтобы "YES" выводилось ровно 3 раза. Это значит, что условие `(s > A) or (t > 11)` должно быть истинно для 3 пар и ложно для остальных 6.

Рассмотрим пару (5; 12). Для нее t > 11, поэтому условие всегда истинно. Это дает нам одно "YES".

Осталось найти A такое, что для 2 других пар из оставшихся 8 условие `s > A` истинно, а для остальных 6 — ложно.

Вспомним, что условие ложно, если s <= A И t <= 11.

Для того чтобы 6 пар дали "NO", нам нужно, чтобы для них выполнялось s <= A.

Рассмотрим значения s для пар, где t <= 11:

• -9, 2, 2, 7, 12, 9, 7, 11

Чтобы 6 пар дали "NO", A должно быть больше или равно 6 из этих значений s. Наибольшее значение s — 12. Если A = 12, то:

• -9 <= 12 (NO)
• 2 <= 12 (NO)
• 2 <= 12 (NO)
• 7 <= 12 (NO)
• 12 <= 12 (NO)
• 9 <= 12 (NO)
• 7 <= 12 (NO)
• 11 <= 12 (NO)

Таким образом, при A = 12, все пары, где t <= 11, дадут "NO", кроме пары (5; 12), которая даст "YES" (потому что t > 11). Это всего одно "YES".

Нам нужно 3 "YES". Одно "YES" дает пара (5; 12).

Значит, еще 2 пары должны дать "YES" из тех, где t <= 11, то есть s > A.

Рассмотрим пары (s, t), где t <= 11:

• (-9; 11)
• (2; 7)
• (2; -2)
• (7; -9)
• (12; 6)
• (9; -1)
• (7; 11)
• (11; -5)

Значения s: -9, 2, 2, 7, 12, 9, 7, 11.

Нам нужно, чтобы ровно 2 из этих пар удовлетворяли условию s > A, а остальные 6 — нет (то есть s <= A).

Чтобы 6 пар дали "NO" (s <= A), A должно быть достаточно большим.

Рассмотрим, какие 2 пары могут дать "YES" (s > A). Эти пары должны иметь наибольшие значения s.

Наибольшие значения s: 12, 11, 9, 7, 7, 2, 2, -9.

Если мы хотим, чтобы ровно 2 пары дали "YES" (s > A), то A должно быть таким, чтобы только два наибольших значения s были больше A.

Эти два наибольших значения s — 12 и 11.

Чтобы s > A для 12 и 11, но не для 9, 7, 7, 2, 2, -9, нам нужно, чтобы A было между 9 и 11.

Так как A — целое число, то A может быть 10.

Проверим A = 10:

• (-9; 11) → t > 11 ложно, s > A (-9 > 10) ложно. → NO
• (2; 7) → t > 11 ложно, s > A (2 > 10) ложно. → NO
• (5; 12) → t > 11 истинно. → YES (1)
• (2; -2) → t > 11 ложно, s > A (2 > 10) ложно. → NO
• (7; -9) → t > 11 ложно, s > A (7 > 10) ложно. → NO
• (12; 6) → t > 11 ложно, s > A (12 > 10) истинно. → YES (2)
• (9; -1) → t > 11 ложно, s > A (9 > 10) ложно. → NO
• (7; 11) → t > 11 ложно, s > A (7 > 10) ложно. → NO
• (11; -5) → t > 11 ложно, s > A (11 > 10) истинно. → YES (3)

С A = 10 мы получили ровно 3 "YES".

Если мы возьмем A = 9:

• (12; 6) → YES
• (11; -5) → YES
• (9; -1) → NO (s=9, A=9, s>A ложно)
• (7; 11) → NO
• (7; -9) → NO
• (5; 12) → YES (1)

В этом случае мы получим 4 "YES".

Если мы возьмем A = 11:

• (12; 6) → YES
• (11; -5) → NO (s=11, A=11, s>A ложно)
• (9; -1) → NO
• (7; 11) → NO
• (7; -9) → NO
• (5; 12) → YES (1)

В этом случае мы получим 2 "YES".

Таким образом, наибольшее целое значение A, при котором "YES" напечатается три раза, равно 10.

Ответ: 10