Using [N-]=[N+]=N[C@H]1C[C@H]2CN(c3ccc(OC(F)(F)F)cc3)C(=O)N2C1 to produce N[C@H]1C[C@H]2CN(c3ccc(OC(F)(F)F)cc3)C(=O)N2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.