log2 (3^12)