Ответ:
Для пар, в которых s ≤ 8, программа всегда печатает «NO»: это (2, 15), (7, 3), (5, 9) и (3, 6). Получается 4 вывода «NO».
Для остальных пяти пар программа печатает «YES», если t < A. Чтобы всего было ровно 5 выводов «NO», одна из этих пяти пар должна дать «NO», а четыре — «YES».
Значения t для этих пар: 4, 8, 12, 20 и 11. Чтобы четыре значения были меньше A, а 20 не было меньше A, наименьшее целое значение A — 13.
При A = 13 только пара (10, 20) среди этих пяти даёт «NO». Вместе с четырьмя неизменными выводами «NO» получается ровно пять.
Ответ: 13.
