Для какого наибольшего целого числа A формула \(\(x − 10 \\lt A\) → \(y \+ 28 ≥ 4A\)) ∨ \(x \+ y ≠ 17\) тождественно истинна, т. е. принимает значение 1 при любых положительных значениях переменных x и y?