Using O=C([O-])C(F)(F)Cl, Oc1cc(O)nc(SCc2cccc(F)c2F)n1 to produce Oc1cc(OC(F)F)nc(SCc2cccc(F)c2F)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.