Тип 15 № 14095

Для какого наименьшего целого числа A формула

$$(4x + y < A) \vee (x < y) \vee (25 <= x)$$

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