Задание 15 ЕГЭ по информатике

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

$(x-3*y<A) \lor (y>400) \lor (x>56)$

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