You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (1R,2R,3S)-1-amino-2-(1,3-benzodioxol-5-yl)-3-ethylsulfonylcyclopropane-1-carbonitrile into molecular formula.
user
C13H14N2O4S
assistant