...provided that if the amount realised is at the sale of insufficient to meet the amounts owing to the preferent creditor and the execution creditor,...