Debido a que formula_761 existe, la solución única del sistema es