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

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

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

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

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

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

for A in range(1000):
    flag = True
    for x in range(300):
        for y in range(300):
            p = (5 * x + 7 * y >= A) or (x <= 40) or (y < 7)
            if p == 0:
                flag = False
                break
        if flag == 0:
            break
    if flag:
        print(A)