Ответ:

Условие вывода «YES»: s > A или t > 11.

  1. Из всех пар только в паре (5; 12) выполняется t > 11. Для неё программа печатает «YES» при любом A.
  2. Чтобы всего получилось три вывода «YES», среди остальных пар условие s > A должно выполняться ровно два раза.
  3. Для остальных пар значения s: −9, 2, 2, 7, 12, 9, 7, 11. Наибольшее A, при котором ровно два из них больше A, равно 9: тогда это значения 12 и 11.

Ответ: 9.