You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule 2-[(1R,2S)-2-methyl-5-oxocyclohex-3-en-1-yl]isoindole-1,3-dione into molecular formula.
user
C15H13NO3
assistant