Did not vote, because it depends on how Rosen looks this year. Obviously if Rosen fails, Miami will probably either stay and pickup one of the QBs, or trade up for the QB they want, depending where they're drafting.
If on the other hand Rosen looks good, Miami trades the picks for picks in 2021, this allows them to get an even bigger look at Rosen in 2020, and if he succeeds, we have our QB, use the picks in other areas, but if he fails in 2020, Miami hopefully goes full boat at Lawrence in 2021.
Personally I hope nobody is hoping to see Miami fail in epic proportions to be able to draft one of the top QBs next year, or Lawrence in 2021.
Hope for what you have in hand now, don't fantasize about what we may possibly get at QB in the next few years.