Using ClCC1CCN(Cc2ccccc2)C1, C=C(C)n1c(=O)[nH]c2ccccc21 to produce O=c1[nH]c2ccccc2n1CC1CCN(Cc2ccccc2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.