You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
1lambda6-thiaspiro[3.5]nonane 1,1-dioxide is the IUPAC name of a molecule. Please give its molecular formula.
user
C8H14O2S
assistant