You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name tert-butyl (3S)-3-(ethylsulfanylmethyl)piperidine-1-carboxylate into its molecular formula.
user
C13H25NO2S
assistant