Using CCc1nc2cc3c(cc2[n+]([O-])n1)CC(CN1CCOCC1)C3, O=C(OC(=O)C(F)(F)F)C(F)(F)F to produce CCc1n[n+]([O-])c2cc3c(cc2[n+]1[O-])CC(CN1CCOCC1)C3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.