Задание №33890 ЕГЭ по Информатике

Обозначим через ТРЕУГ(n,m,k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k. 
Для какого наибольшего натурального числа  A, меньшего 1000, формула

ТРЕУГ(A,67,x)→((МАКС(x+50,14)⩽27)≡¬ТРЕУГ(36,60,x))

тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной x?
Примечание. МАКС(а,b)=а, если а>b, и МАКС(а,b)=b, если а≤b.