Using O=C(OO)c1cccc(Cl)c1, COc1ccnc(CSc2nc3cc4c(cc3[nH]2)OC(F)(F)O4)c1 to produce COc1ccnc(CS(=O)c2nc3cc4c(cc3[nH]2)OC(F)(F)O4)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.