Using CSc1ccc(N2CC(O)(C(F)(F)F)N=C2c2nnc(C(C)C)s2)cc1 to produce CSc1ccc(-n2cc(C(F)(F)F)nc2-c2nnc(C(C)C)s2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.