Using CC(=O)OC(C)=O, [O-][n+]1cc(OCC(F)(F)F)cc2c1CCCC2 to produce OC1CCCc2cc(OCC(F)(F)F)cnc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.