Ответ:

Пара (1, 13) всегда приводит к выводу «YES», поскольку для неё выполняется условие t > 12.

Чтобы всего получить три вывода «YES», условие s > A должно выполняться ровно для двух из остальных пар. Их значения s: 13, 11, −12, 2, −10, 6, 2, 9.

При A = 9 условие s > A выполняется только для s = 11 и s = 13. Вместе с парой (1, 13) это даёт три вывода «YES». При A ≤ 8 подходят как минимум s = 9, 11 и 13, поэтому выводов «YES» будет больше трёх.

Ответ: 9.