Ответ:

Программа печатает YES, когда остаток от деления s на 5 равен k.

  1. 1 mod 5 = 1 ≠ 2 — NO.
  2. 5 mod 5 = 0 — YES.
  3. 18 mod 5 = 3 — YES.
  4. 21 mod 5 = 1 — YES.
  5. 10 mod 5 = 0 ≠ 2 — NO.
  6. 12 mod 5 = 2 ≠ 1 — NO.
  7. 9 mod 5 = 4 — NO, поскольку k = 4? Проверяем: остаток 9 при делении на 5 равен 4, поэтому это YES.
  8. 5 mod 5 = 0 ≠ 5 — NO.
  9. 3 mod 5 = 3 — YES.

Ответ: 5 запусков.