You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named methyl (3R)-1-[[(1R)-cyclohex-3-en-1-yl]methylcarbamoyl]piperidine-3-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C15H24N2O3
assistant