Using O=S(=O)(c1ccccc1)N(F)S(=O)(=O)c1ccccc1, CC1(C)O[C@@H]2[C@@H](C=C(I)[C@@H]2O[Si](c2ccccc2)(c2ccccc2)C(C)(C)C)O1 to produce CC1(C)O[C@@H]2[C@@H](C=C(F)[C@@H]2O[Si](c2ccccc2)(c2ccccc2)C(C)(C)C)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.