Using last year's empirical chart, going from 9th to 13th is a deficit of 8.96. There's usually about a 10% premium paid for getting into the bottom of the top 10, so that pushes the deficit to 15.72 - roughly the value of the 60th overall pick. It is unlikely, however, that the owner of pick 13 in round 1 also has pick 28 in round 2. The likely deal to be had there is 9 for 13, 77, and 109. Or, potentially, 13, 77, and a 2020 3rd.
Either way, Miami has pick 13 and I doubt we're trading with them.