Враги хотят, чтобы выражение было ложно. Система для врагов:

Чтобы увеличить свои шансы на победу, враги стараются минимизировать y, при этом сохранив условия и . Так как значение связано со значением неравенством , то чтобы минимизировать , нужно минимизировать и .

Если мы зафиксируем какое-то значение , то для выбранного минимальное значение (так как ). Значит, . Тогда минимальный подходящий , а соответствующий ему минимальный .

Друзья хотят, чтобы , то есть .

Максимальное значение .

Решение 2. Прогой

def f(a):
    for x in range(1, 1000):
        for y in range(1, 1000):
            if not(x + y <= 25 or y <= x + 3 or y >= a):
                return False
    return True

for a in range(0, 10000):
    if f(a):
        print(a)