You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (5S,6R)-10-(4-methylphenyl)sulfonyl-6-prop-2-enyl-11-oxa-10-azadispiro[3.0.55.14]undecane by IUPAC nomenclature, provide its molecular formula.
user
C19H25NO3S
assistant