Using O=[N+]([O-])c1ccc(C(F)(F)F)cc1F, COC(=O)[C@H]1CC[C@H](CN)CC1 to produce COC(=O)[C@H]1CC[C@H](CNc2cc(C(F)(F)F)ccc2[N+](=O)[O-])CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.