According to a divorce settlement, the house was to be sold to the highest bidder, and the parties agreed that they would ...