You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 4-cyclohex-3-en-1-yl-3-(2-methylpropyl)piperidine-2,6-dione is given. What is its corresponding molecular formula?
user
C15H23NO2
assistant