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

На числовой прямой дан отрезок А = [3;60]; В - множество всех натуральных делителей числа 177, отличных от единицы и от самого числа 177; С - множество всех натуральных делителей некоторого натурального числа у, отличных от единицы и от самого числа у (число у таково, что множество С непустое). Укажите наибольшее возможное значение числа у, для которого выражение

(x ∈ C) → ((x ∈ A) ∧ ¬(x ∈ B))

истинно (т. е. принимает значение 1) при любом значении переменной х.