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

 

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

 

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