log2(7)