Краткий ответ: \(A = 12\).
Программа печатает «НЕТ», если одновременно выполняются условия:
\[ s \le 10 \quad \text{и} \quad n \le A. \]
Пары, для которых \(s \le 10\):
\[ (1,2),\ (1,12),\ (-11,-12),\ (-11,12),\ (-12,11),\ (10,10),\ (10,5). \]
Всего таких пар 7. Их значения \(n\):
\[ 2,\ 12,\ -12,\ 12,\ 11,\ 10,\ 5. \]
Чтобы для всех семи пар выполнялось \(n \le A\), параметр \(A\) должен быть не меньше наибольшего из этих значений:
\[ A \ge 12. \]
При \(A=12\) программа напечатает «НЕТ» ровно 7 раз. При \(A=11\) две пары со значением \(n=12\) дадут «ДА», поэтому семи результатов «НЕТ» не будет.
\[ \boxed{12} \]
