Ответ:
Условие вывода YES: \(s>A\) или \(t>12\).
- Для пары \((1,13)\) программа всегда выводит YES, так как \(13>12\).
- Чтобы всего было 3 вывода YES, среди первых 8 пар условие \(s>A\) должно выполняться ровно 2 раза.
- Значения \(s\) среди первых 8 пар: \(13, 11, -12, 2, -10, 6, 2, 9\).
- При \(A=9\) неравенство \(s>A\) выполняется только для \(s=13\) и \(s=11\). Это даёт ещё 2 вывода YES.
- Итого: \(2+1=3\) вывода YES. При меньшем целом значении \(A\), например при \(A=8\), значение \(s=9\) также даст YES, поэтому выводов будет 4.
Ответ: 9.
