10. Ниже приведена программа: var s, t, A: integer; begin readln(s); readln(t); readln(A); if (s > A) or (t > 12) then writeln('YES') else writeln('NO') end. Было проведено 9 запусков программы, при которых в качестве значений переменных s и t вводились следующие пары чисел: (13, 2); (11, 12); (−12, 12); (2, −2); (−10, −10); (6, −5); (2, 8); (9, 10); (1, 13). Укажите наименьшее целое значение параметра A, при котором для указанных входных данных программа напечатает «NO» во всех раз.

Программа печатает «NO», если оба условия ложны: s ≤ A и t ≤ 12.

Для пары (1, 13) условие t > 12 истинно, поэтому программа напечатает «YES» независимо от значения A. Для остальных пар значение t не превышает 12, поэтому необходимо, чтобы A было не меньше каждого соответствующего значения s.

Среди этих значений s наибольшее — 13. Значит, при A = 13 для всех пар с t ≤ 12 выполнено s ≤ A, а пара (1, 13) всё равно даёт «YES».

Ответ: A = 13.