Using N#Cc1cc(F)c(-n2cnc(C(F)(F)F)cc2=O)cc1F, CCS(N)(=O)=O to produce CCS(=O)(=O)Nc1cc(-n2cnc(C(F)(F)F)cc2=O)c(F)cc1C#N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.