OpenFIPI 2.0

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

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

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