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

Введём выражение $M \& K$, обозначающее поразрядную конъюнкцию $M$ и $K$ (логическое «И» между соответствующими битами двоичной записи). Определите наибольшее натуральное число $A$ из интервала $[43, 55]$ такое, что выражение

$((x \& 17 ≠ 0) → ((x \& A ≠ 0) → (x \& 58 ≠ 0))) → ((x \& 8 = 0) ∧ (x \& A ≠ 0) ∧ (x \& 58 = 0))$

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