Программа напечатает «ДА», если условие `s >= 2 * k` истинно.
Проверим пары:
- (1, 2): 1 >= 2*2 (ложь)
- (8, 4): 8 >= 2*4 (истина)
- (6, -12): 6 >= 2*(-12) (истина)
- (-5, -5): -5 >= 2*(-5) (истина)
- (3, 11): 3 >= 2*11 (ложь)
- (-10, 12): -10 >= 2*12 (ложь)
- (-10, -2): -10 >= 2*(-2) (ложь)
- (4, 1): 4 >= 2*1 (истина)
- (2, 5): 2 >= 2*5 (ложь)
Всего 4 запуска.