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

Обозначим через $УГОЛ(a, b, c)$ утверждение «значения чисел $a$, $b$, $c$ являются углами невырожденного треугольника». Для какого наименьшего натурального числа $A$ формула

$УГОЛ(37, A, x+45) \equiv УГОЛ(A,x,90) \land \neg (A+23 <120)$

тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной $x$?