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

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

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

Значит, наибольшее значение при заданных условиях — 13

Программное решение

for a in range(1000):
    flag = True
    for x in range(1000):
        for y in range(1000):
            if ((5*x + 2*y != 85) or (a <= x) or (x <= y)) == False:
                flag = False
                break
        if flag == False:
            break
    if flag == True:
        print(a)