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

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

УГОЛ(37, A, x+45) ≡ УГОЛ(A,x,90) ∧ ¬ (A+23 <120)

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