Using Cc1cc(N2CCN(C(=O)/C=C/C(C)O)CC2)c2ccccc2n1, CCN(CC)S(F)(F)F to produce Cc1cc(N2CCN(C(=O)/C=C/C(C)F)CC2)c2ccccc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.