El mensaje cifrado final corresponde a la tupla formula_20