formula_10 es la solución con menor tamaño estimado