Using CN(C)/C=C1\C(=O)C(C)(C)CC1c1ccc(C#N)cc1, NN to produce CC1(C)CC(c2ccc(C#N)cc2)c2cn[nH]c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.