Найдите наибольшее целое значение параметра A, при котором для указанных входных данных программа напечатает «YES» четыре раза. Пары значений переменных s и t: (13, 2); (11, 12); (−12, 12); (2, −2); (−10, −10); (6, −5); (2, 8); (9, 10); (1, 13).

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

Значения s в этих восьми парах: 13, 11, −12, 2, −10, 6, 2, 9. Чтобы ровно три из них были больше целого A и A был наибольшим, нужно взять A = 8: тогда больше него числа 13, 11 и 9. При A = 9 таких чисел только два.

Ответ: A = 8.