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

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

$¬((ТРЕУГ(x, 11, 18) ≡ (¬(MAKC(x, 5) > 68))) \land ТРЕУГ(x, A, 5))$

тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной $x$?

Примечание. $МАКС(а, b) = а$, если $а > b$ и $МАКС(а, b) = b$, если $а ≤ b$.