Using O=S(=O)(Cl)Cl, Cc1cc(-c2cc(OC(F)F)n(C)n2)c(F)cc1Cl to produce Cc1cc(-c2nn(C)c(OC(F)F)c2Cl)c(F)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.