Using O=S(=O)([O-])c1c(F)c(F)c2c(Cl)nc(-c3c(F)c(F)c(F)c(F)c3F)c(F)c2c1F, COc1ccc(CNc2cscn2)cc1 to produce COc1ccc(CN(c2cscn2)S(=O)(=O)c2ccc3c(Cl)nccc3c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.