Using O=Cc1cnc(S(=O)Cc2c(F)ccc(F)c2F)n1-c1ccc(F)cc1, CNCc1cn(C)nc1C to produce Cc1nn(C)cc1CN(C)Cc1cnc(S(=O)Cc2c(F)ccc(F)c2F)n1-c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.