Задача #1110

(М. Шагитов) Обозначим через $\text{ДЕЛ}(n,m)$ утверждение «натуральное число n делится без остатка на натуральное число m». Пусть на числовой прямой дан отрезок $B\in [80,100]$. Для какого наибольшего натурального числа А формула

ДЕЛ(x,17)→(¬(x∈B)∨(A<x+30))

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