Before revision:  The main results of this work are providing sufficient conditions for existence and uniqueness of the clearing solutions (i.e., liquidations, borrowing, fire sale prices, and haircut levels)  .
After revision:  The main results of this work are providing the existence of maximal and minimal clearing solutions (i.e., liquidations, borrowing, fire sale prices, and haircut levels) .