You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Provide the molecular formula for the IUPAC named substance 1,2-bis(ethenyl)-4-propan-2-ylcyclohexene .
user
C13H20
assistant