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

Обозначим через $ЦИФ(x, y)$ утверждение «натуральное число $x$ оканчивается на ту же цифру, что и натуральное число $y$». Для какого наибольшего натурального числа $A$ логическое выражение

$(¬ЦИФ(x, 5) \wedge ЦИФ(x, 4)) \rightarrow (x > A - 11$)

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