OpenFIPI 2.0

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

(x·y > A) \/ (x > y) \/ (8 ≥ x)

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