OpenFIPI 2.0

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

(2x + y ≠ 70) \/ (x < y) \/ (A < x)

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