Задание №5039

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

¬((ТРЕУГ(x,12,20) ≡ (¬(MAKC(x,5) > 28))) ∧ ТРЕУГ(x,A,3)

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