Using CC1=C(C)C([Si](C)(C)OS(=O)(=O)C(F)(F)F)C(C)=C1C, Cc1ccc(C)c2c1cc[c-]2-c1ccccc1 to produce CC1=C(C)C([Si](C)(C)C2C=C(c3ccccc3)c3c(C)ccc(C)c32)C(C)=C1C, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.