If they sell for $557,000? How about if they sell for $357,000 in a few years?
Who cares where they do or don’t come up with the money? Let them go bankrupt. They bought at the height of the bubble. They can stay put for many years or take their medicine, which will taste worse later.