ejecutoriada la sentencia que declare la terminación del contrato.