Os números reais $\mathrm{sen}\frac{\pi }{12}$, $\mathrm{sen}a$ e $\mathrm{sen}\frac{5\pi }{12}$ formam, nesta ordem, uma progressão aritmética. Então o valor de $\mathrm{sen}a$ é: