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

( x + 2 y < A ) \/ ( y > x ) \/ ( x > 30)

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