Ответ:

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

Этому условию удовлетворяют пары (−7, 4), (11, 1), (12, 2), (13, 3), (17, 4), (21, −5) и (−7, 4). Всего таких пар 7.

Ответ: 7.