(PRO100-ЕГЭ) На числовой прямой дан отрезок A = [3; 18]; B — множество всех натуральных делителей числа 51, отличных от единицы и от самого числа 51; C — множество всех натуральных делителей некоторого натурального числа y, отличных от единицы и от самого числа y (число y таково, что множество C непустое). Укажите наибольшее возможное значение числа y, для которого выражение
(x ∈ C) → ((x ∈ A) ∧ ¬(x ∈ B))
тождественно истинно (т.е. принимает значение 1) при любом значении х.