Для какого наибольшего целого неотрицательного числа D выражение

\(y \\lt x\) ∨ \(x \\lt 20\) ∨ \(x \+ 2 ∙ y \\gt D\)

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