Задание №5037

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

¬((ТРЕУГ(x,11,18) ≡ (¬(MAKC(x,5) > 15))) ∧ ТРЕУГ(x,A,5)

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