Using Oc1cc(SCC(F)(F)F)c(Cl)cc1Cl, O=C(OO)c1cccc(Cl)c1 to produce O=S(CC(F)(F)F)c1cc(O)c(Cl)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.