Using COc1c(C(C)(C)C)cc2c(c1-c1ccccc1)CC(CC(C)C)C2=O to produce COc1c(C(C)(C)C)cc2c(c1-c1ccccc1)CC(CC(C)C)=C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.