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

Обозначим через $ДЕЛ(n, m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». На числовой прямой дан отрезок $B = [30,90]$. Для какого наибольшего натурального числа $A$ формула

$ДЕЛ(x, A) ∨((x ∈B) →¬ДЕЛ(x, 16))$

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