You forgot Carter Jr, who's probably their best player and the exact type of big who'd pair well with Holmgren.
Whether they go Holmgren or Smith to slide in between Carter Jr. and Wagner up front, with Okeke off the bench, Isaac's days are probably numbered.
Given his bizarre MAGA allegiance and his not playing in nearly 2 years, he'll be a difficult move despite being the second most desirable modern archetype.
If they go Smith, they might retain Bamba. If they go Holmgren, I don't see it.
More of a 4/3.