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

Для какого наибольшего целого неотрицательного числа $A$ формула

$(x > A) \lor (y > A) \lor (y - 2*x + 12 ≠ 0)$

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