Considere a equação polinomial x3 − 9x2 + kx + 21 = 0, com k real. Se suas raízes estão em progressão aritmética, o valor de log2 (3k − 1)2 é
