(Е. Джобс) Обозначим через div(n, m) результат целочисленного деления натурального числа n на натуральное число m. Для какого наименьшего натурального числа А формула
\((div(x, 50) > 3) \lor \lnot (div(x, 13) > 3) \lor (div(x, A) > 6)\)
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной x)?