ceil(log10(8!)) + ceil(log10(12!/2)) + ceil(log10(2^11)) + ceil(log10(3^7))