You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (8S)-7-(3-carboxy-2-methylpropanoyl)-1,2-dithia-7-azaspiro[4.4]nonane-8-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C12H17NO5S2
assistant