Законы математической логики

Сколько существует целых значений А, при которых формула

( (x > 8) → (x²+3x ≥ A) ) ∧ ( (y² + 5y > A) → (y ≥ 4) )

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