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

$(x \geq 12) \lor (3x < y) \lor (xy < A)$

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