Для решения задачи необходимо проанализировать условие программы: выводится «ДА», если выполняется хотя бы одно из условий s > A или k > 3. Для каждого входного набора значений (s, k) проверяется, при каком максимальном значении A программа выведет «НЕТ» ровно 4 раза. Условие «НЕТ» выполняется, если НЕ выполняется ни одно из условий s > A и k > 3, то есть A >= s и k <= 3. Проверяя это для всех пар (s, k), можно определить, что максимальное значение A, при котором программа выводит «НЕТ» ровно 4 раза, равно 10.