Проверим каждую пару:
- (3, -2): s > 1 (3 > 1) и t < -1 (-2 < -1) - оба условия истинны. Вывод: YES.
- (-3, -2): s > 1 (-3 > 1) - ложно. Вывод: NO.
- (1, -1): s > 1 (1 > 1) - ложно. Вывод: NO.
- (4, -2): s > 1 (4 > 1) и t < -1 (-2 < -1) - оба условия истинны. Вывод: YES.
- (4, 2): t < -1 (2 < -1) - ложно. Вывод: NO.
Пары, для которых программа напечатает «YES»: 1 и 4.