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

(y < 7A) ∧ (x < 3A) ∨ (21135281 < 11y + 13x)

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