Ответ:

Программа печатает YES, если выполняется хотя бы одно из условий: s < 7 или t > 5.

  1. (9, 5) — нет;
  2. (11, 2) — нет;
  3. (4, 5) — да;
  4. (7, −2) — нет;
  5. (4, 4) — да;
  6. (7, 7) — да;
  7. (1, −1) — да;
  8. (3, 9) — да;
  9. (2, 2) — да.

Подходящих запусков: 6.

Ответ: 6.