Using O=[N+]([O-])c1cc(-c2cnc3nc(C(F)(F)F)ccn23)ccc1F to produce Nc1cc(-c2cnc3nc(C(F)(F)F)ccn23)ccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.