You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
2-methyl-5-(2-piperazin-1-ylethyl)-1,2,5-thiadiazolidine 1,1-dioxide is the IUPAC name of a molecule. Please give its molecular formula.
user
C9H20N4O2S
assistant