La exploración completa del dominio del problema, de modo de determinar la solución por medio de backtracking, tomaría: formula_1