You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3S,4R)-3-(1,4-dioxa-8-azaspiro[4.5]decan-8-yl)-4-(4-propan-2-yloxyphenyl)sulfonylthiolane 1,1-dioxide by IUPAC nomenclature, provide its molecular formula.
user
C20H29NO7S2
assistant