Using O=S(=O)(Oc1cc2c(cn1)C1(Cc3ccccn3)CCC3(CC1CCC2)OCCO3)C(F)(F)F, OB(O)/C=C/c1ccccc1 to produce C(=C/c1cc2c(cn1)[C@]1(Cc3ccccn3)CCC3(C[C@H]1CCC2)OCCO3)\c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.