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

$(y + 3x > A) \lor (x < 30) \lor (y < 30)$

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