yes, I would agree here. Family court prefers a clean break.
The cleanest break here would be just to sell them and start over again. Even if it results in a moderate cumulative loss.
The other options call for former husband and wife to be 'tied' by contracts when what they want is...