Для какого наибольшего целого неотрицательного числа 
выражение
тождественно истинно при любых целых неотрицательных 
и 
Решение 1 (руками)
Враги хотят чтобы 
был как можно меньше и при этом 
и 
.
Тогда друзья подберут такой 
, что он будет гарантированно меньше либо равен 
. Такой наибольший 
.
Решение 2 (прогой)
def f(a):
for x in range(1, 1000):
for y in range(1, 1000):
if not ((5 * x + 2 * y != 85) or (a <= x) or (x <= y)):
return False
return True
for a in range(1000, 0, -1):
if f(a):
print(a)
break
Ответ: 13