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

Дан числовой отрезок $B = [50, 70]$. Для какого наибольшего целого неотрицательного числа $A$ выражение

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

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