Using O=C([O-])C(F)(F)Cl, O=[N+]([O-])c1cccc2cc(O)cnc12 to produce O=[N+]([O-])c1cccc2cc(OC(F)F)cnc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.