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

( x ≥ 12 ) ( 𝑥 ≥ 12 ) \/ (3 x < y ) \/ ( x y < A )

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