Программа напечатает "NO", если условие (s > 0 || t < 1) истинно. Это означает, что s должно быть больше 0, ИЛИ t должно быть меньше 1.
Рассмотрим каждую пару:
(1, 2): s = 1 (s > 0 истинно), t = 2 (t < 1 ложно). Условие (истина || ложь) истинно. → "NO"(0, -1): s = 0 (s > 0 ложно), t = -1 (t < 1 истинно). Условие (ложь || истина) истинно. → "NO"(-10, 1): s = -10 (s > 0 ложно), t = 1 (t < 1 ложно). Условие (ложь || ложь) ложно. → "YES"(-1, -1): s = -1 (s > 0 ложно), t = -1 (t < 1 истинно). Условие (ложь || истина) истинно. → "NO"(-2, 10): s = -2 (s > 0 ложно), t = 10 (t < 1 ложно). Условие (ложь || ложь) ложно. → "YES"(0, 0): s = 0 (s > 0 ложно), t = 0 (t < 1 истинно). Условие (ложь || истина) истинно. → "NO"(2, -2): s = 2 (s > 0 истинно), t = -2 (t < 1 истинно). Условие (истина || истина) истинно. → "NO"Пары, для которых программа напечатает "NO": 1, 2, 4, 6, 7.
Ответ: 12467