Using CC1CCc2c(-c3ccccc3)nc(=O)n(C(C)C)c2C1 to produce CC1=CCC2C(=C1)N(C(C)C)C(=O)NC2c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.