Ответ: \(A=10\).
Условие вывода YES:
\[ (s>A)\ \text{и}\ (t>12) \]
Значит, NO программа выведет, если хотя бы одно из этих условий ложно.
- Для пар с \(t\le 12\) ответ всегда
NO:
\[ (13,12),\ (10,11),\ (14,10),\ (13,10) \]
Это уже 4 вывода NO.
- Для остальных пар нужно получить
YES:
- \((11,14)\): \(11>A\);
- \((12,13)\): \(12>A\);
- \((12,14)\): \(12>A\).
Чтобы все три условия выполнялись, нужно:
\[ A<11. \]
Наибольшее целое число, удовлетворяющее этому неравенству:
\[ \boxed{A=10}. \]
Проверка: при \(A=10\) ответы имеют вид
\[ \text{NO, YES, YES, NO, NO, NO, YES}, \]
то есть NO напечатано ровно 4 раза.