OpenFIPI 2.0

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

(48 ≠ y + 2x)  \/ (A < x) \/ (A < y)

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