Ответ:

Программа выводит «YES», если остаток от деления s на 7 равен k.

  1. 2 mod 7 = 2 — подходит.
  2. 7 mod 7 = 0 — подходит.
  3. 14 mod 7 = 0 ≠ 10 — не подходит.
  4. 22 mod 7 = 1 — подходит.
  5. 10 mod 7 = 3 — подходит.
  6. 12 mod 7 = 5 ≠ 1 — не подходит.
  7. 9 mod 7 = 2 — подходит.
  8. 5 mod 7 = 5 ≠ 1 — не подходит.
  9. 2 mod 7 = 2 ≠ 5 — не подходит.

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