CC1CCC(C(O)C1)=C(C)C