Для какого наибольшего целого числа А формула
\(\(x ≤ 5\) → \(x ⋅ x ≤ A\)) ⋀ \(\(y ⋅ y ≤ A\) → \(y ≤ 12\))
тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?