Решение 1 (ручками)

Чтобы дизъюнкция была истинной при любом неотрицательном целом значении и рассмотрим случай, когда и

Это эквивалентно следующей системе:

Самое сильное ограничение для в системе будет при наименьших и т. е. при и соответственно.

Подставим: откуда Наибольшее значение

Решение 2 (прогой)

def f(a):
    for x in range(1000):
        for y in range(1000):
            if ((6 * x + 3 * y >= a) or (x <= 40) or (y < 57))==0:
                return False
    return True

for a in range(1000, 1, -1):
    if f(a):
        print(a)
        break