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

(В. Рыбальченко)Для какого наименьшего натурального числа А формула

(2x + y ≠ 136) ∨ (z · y < 100) ∨ (A² ≥ x + y)

Тождественно истинна (т.е. принимает значение 1) при любых натуральных значениях x, y и z.