Программа выводит "YES" если условие (s < -1) и (t > 2) истинно.
- (-2, 2): -2 < -1 (истина), 2 > 2 (ложь). Условие ложно.
- (-4, 5): -4 < -1 (истина), 5 > 2 (истина). Условие истинно.
- (-8, 10): -8 < -1 (истина), 10 > 2 (истина). Условие истинно.
- (8, -2): 8 < -1 (ложь), -2 > 2 (ложь). Условие ложно.
- (-20, 4): -20 < -1 (истина), 4 > 2 (истина). Условие истинно.
Пары, для которых программа напечатает "YES": 2, 3, 5.