Si queda alguna fila del tipo formula_17, con formula_18, el sistema no tendrá solución.