Using O=S(=O)(Cl)C(F)F, COc1nc(C)nc(C2C(=O)Nc3c(F)cccc32)n1 to produce COc1nc(C)nc(C2C(=O)N(S(=O)(=O)C(F)F)c3c(F)cccc32)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.