15_0401

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

Для какого наибольшего натурального числа $A$ формула
$$ТРЕУГ(x,A,5) \to \lnot\big(ТРЕУГ(x,13,25) \equiv (МИН(x,60)<20)\big)$$
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?

Примечание. $МИН(a,b)=a$, если $a<b$, и $МИН(a,b)=b$, если $a\ge b$.