Using CC(=O)c1c(C(C)C)nn(C(C)(C)Cc2ccccc2)c1O, CON to produce CON=C(C)c1c(C(C)C)nn(C(C)(C)Cc2ccccc2)c1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.