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

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

( (x < A) → (x⋅x ≤ 169) ) ∧ ( (y⋅y < 16) → (y ≤ A) )

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