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