Using O=C(OC(=O)C(F)(F)C(F)(F)F)C(F)(F)C(F)(F)F, O=C1c2cnc3cccc(n23)CN1CC1CCNCC1 to produce O=C1c2cnc3cccc(n23)CN1CC1CCN(C(=O)C(F)(F)C(F)(F)F)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.