Miami is extremely vulnerable to bigs who can bang the offensive boards. Smith would be the ideal guy to bring in. However, indications out of the ATL are pointing to him re-upping this summer for the max.
If Big Al comes on the market, and Utah is stupid enough to want Green, the Cs would have to make a move. Green, Bass and a first and a second should do it. Bass can replace Milsap next season if Milsap signs elsewhere, as he tried to do as a RFA.
Big All gives the Cs two things they desperately need - rebounding and low post scoring. I'd even do two firsts if need be. Al is one of the top three low post scorers in the league, and is leading the league in total rebounds and fourth in rebounds per game.
If the Jazz aren't willing to take Green, Bass and Lee almost work money wise. A third team tweaking should make it work, Bass, Lee and two firsts for Big Al.