Задание

Для какого наименьшего целого неотрицательного числа A выражение

(3x + 4y ≠ 70) ∨ (A > x) ∨ (A > y)

тождественно истинно при любых целых неотрицательных x и y?