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