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

\(x \\gt 35\) ∨ \(y \\gt 25\) ∨ \(y \+ 2 \* x \\lt A\)

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