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

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

 $(2*x +y ≠ 70) ∨ (x < y) ∨ (x < A)$

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