You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(4R,5S)-7-(4,5-dichlorothiophen-2-yl)sulfonyl-7-azaspiro[4.5]decan-4-ol is the IUPAC name of a molecule. Please give its molecular formula.
user
C13H17Cl2NO3S2
assistant