OpenFIPI 2.0

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

(x·y < A) \/ (x < y) \/ (8 ≤ x)

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