Using CN1[C@@H]2CC[C@H]1CC(=O)C2, c1ccc2[nH]ccc2c1 to produce C1=C(c2c[nH]c3ccccc23)CC2CCC1N2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.