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

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

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

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