Ответ: \(\boxed{12}\).
Программа печатает NO, когда условие
(k > 10) or (n > A)
ложно. Это возможно, если одновременно:
\[ k\le 10 \quad \text{и} \quad n\le A. \]
Первые две пары:
- \((13,2)\);
- \((11,12)\)
всегда дают YES, так как \(k>10\).
Для остальных пар значения \(n\):
\[ 13,\ -2,\ -10,\ -5,\ 8,\ 10,\ 10. \]
Чтобы NO напечаталось ровно 6 раз, значение \(A\) должно быть не меньше шести наименьших значений \(n\), но меньше седьмого:
\[ -10,\ -5,\ -2,\ 8,\ 10,\ 10,\ 13. \]
Значит,
\[ 10\le A<13. \]
Наибольшее целое значение:
\[ \boxed{A=12}. \]
Проверка: при \(A=12\) значения \(n\le12\) встречаются 6 раз, а \(n=13\) — один раз. Вместе с первыми двумя YES получаем ровно шесть выводов NO.