Who are they actually supposed to be selling to? Given the US has pretty active antitrust for now, I can't really think of anyone who has both the money and expertise to run it and would be allowed to buy it.

An easy solution is to spin off TikTok to its own company and then that company IPOs.