1. Программа выводит 'NO', если условие (s > 4) and (t > 4) ложно.
2. Условие ложно, если s <= 4 или t <= 4.
3. Проверяем пары: (10, 6) - YES, (7, 6) - YES, (-4, 3) - NO, (2, 9) - NO, (12, 7) - YES, (-11, 4) - NO, (-8, 13) - NO, (10, 9) - YES, (6, 5) - YES.
4. Подсчитываем количество 'NO': 4.