Ответ:

Условие вывода YES: \(s>A\) или \(t>12\).

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

Ответ: 9.