Using COC1CN(CCCc2nc3cc4c(cc3[n+]([O-])n2)CCC4)C1, O=C(OC(=O)C(F)(F)F)C(F)(F)F to produce COC1CN(CCCc2n[n+]([O-])c3cc4c(cc3[n+]2[O-])CCC4)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.