Using O=C(O)C=C1CCC(CCN2CCN(c3cccc(C(F)(F)F)c3)CC2)CC1, CNOC to produce CON(C)C(=O)C=C1CCC(CCN2CCN(c3cccc(C(F)(F)F)c3)CC2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.