Using Cc1cc(C)cc(-c2cccc3[cH-]c(C(C)C)cc23)c1 to produce Cc1cc(C)cc(-c2cccc3c2C=C(C(C)C)C3)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.