Сколько существует целых значений А, при которых формула
\( ( (x > 8) \rightarrow (x⋅x+3⋅x \geq A) ) \land ( (y⋅y + 5⋅y > A) \rightarrow (y \geq 4) )\)
тождественно истинна (то есть принимает значение 1 при любых целых неотрицательных значениях переменных x и y)?