Using Br[Mg]C1CC1, CC(C)(C)OC(=O)N1CC(OS(=O)(=O)C(F)(F)F)=C[C@H]1c1ccccc1 to produce CC(C)(C)OC(=O)N1CC(C2CC2)=C[C@H]1c1ccccc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.