In this scenario Aday Mara is at 9 when the Mavs are on the clock.

Thunder Get: Martin, who replaces Dort (kinda, not really), but gets some cap relief. They also get Aday Mara.

Mavs Get: Dort (they pick up the 1-year team option) 12th Pick - Select either Burries/Philon 17th Pick - Select one of Morez Johnson/Chris Cenac/Allan Graves

They also get San Antonio's 2027 1st pick, which will almost certainly be at the end of the 1st round.