Cuando la sustitución no sea posible, el liquidador judicial, realizada la ejecución del bien, registrará como crédito contra el patrimonio de la institución de banca múltiple a favor del acreedor con garantía real de que se trate, el monto que resulte menor entre el del crédito que le haya sido reconocido y el del valor de enajenación del bien que haya sido ejecutado para el cumplimiento de las pretensiones a que se refiere el párrafo anterior.