OpenFIPI 2.0

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

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

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