Using O=C(OC(=O)C(F)(F)F)C(F)(F)F, [O-][n+]1nc(CCCN2CCOCC2)nc2cc3c(cc21)CCO3 to produce [O-][n+]1nc(CCCN2CCOCC2)[n+]([O-])c2cc3c(cc21)CCO3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.