They could spin it off and then set up the same kind of pay-for-default-search deal that Mozilla has. This might put just enough distance between the two orgs to satisfy the DOJ without actually changing much.