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

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

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