You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 4-ethenyl-4-methyl-1-prop-2-enylsulfonylazetidin-2-one into its molecular formula.
user
C9H13NO3S
assistant