Решение аналитикой

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

Все возможные и , где :

Тогда друзья говорят: . Максимальное , значит, . Наименьшее .

Решение программой

for A in range(1000):
    p = True
    for x in range(1, 1000):
        for y in range(1, 1000):
            f = (6*x + 8*y != 128) or (x < y) or (3*y < A)
            if f == False:
                p = False
                break
        if p == False:
            break
    if p == True:
        print(A)
        break