Using CC1(C)C(=O)N(C2C3CC4CC(C3)CC2C4)N1/C=C/c1ccccc1 to produce CC1(C)C(=O)N(C2C3CC4CC(C3)CC2C4)N1CCc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.