ceil(log2(13!))