Using CON, CC(=O)c1c2c(nn1C)N(c1c(C)cc(C)cc1C)CCC2 to produce CON=C(C)c1c2c(nn1C)N(c1c(C)cc(C)cc1C)CCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.