Using COc1ccc(CN(c2nncs2)S(=O)(=O)c2cc(Cl)c(Sc3cccc(C(F)(F)F)c3)cc2F)c(OC)c1 to produce O=S(=O)(Nc1nncs1)c1cc(Cl)c(Sc2cccc(C(F)(F)F)c2)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.