Those four schools are the heart of the ACC. Miami isn’t much of a football program anymore, so their departures will make the ACC a second-tier conference. FSU joining the SEC would make a lot of sense given the rivalry with Florida.
UF will veto any invitation to the SEC for FSU. I think they wind up in the B1G.