OpenFIPI 2.0

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

(3x + 2y > A) \/ (y < x) \/ (x < 10)

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