Using CC1(C)CN(C2=CCCC2=O)c2cc(C#N)ccc2O1, CON to produce CON=C1CCC=C1N1CC(C)(C)Oc2ccc(C#N)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.