Using O=C(O)C(F)(F)F, CCc1nc2ccc3c(c2[n+]([O-])n1)CN(C)CC3 to produce CCc1n[n+]([O-])c2c3c(ccc2[n+]1[O-])CCN(C)C3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.