Ответ:

Программа печатает «ДА», если хотя бы одно из условий выполняется: s < 4 или t > 7. Проверяем пары: «НЕТ» будет только для (4, 7), (8, 7) и (4, −2). Для остальных шести пар программа напечатает «ДА».

Ответ: 6 раз.