Ответ:
Программа печатает «NO», когда условие (s > 5) или не (t < 3) ложно. Это происходит, если одновременно s ≤ 5 и t < 3.
Проверим пары: условиям соответствуют (2, −2), (4, 1), (0, −7) и (3, 0). Для остальных пар программа выводит «YES».
Ответ: 4 запуска.
