Ответ:
Программа печатает «YES», если одновременно выполняются условия s < 5 и not (t > 3). Второе условие равносильно t ≤ 3.
Для пар с s < 5 имеем: (−11, 10), (−5, 9), (−10, 10), (4, 5). Во всех этих парах t > 3, поэтому условие для «YES» не выполняется. В остальных пяти парах s ≥ 5, значит, условие s < 5 также не выполняется.
Таким образом, во всех 9 запусках программа напечатала «NO».
Ответ: 9 запусков.
