You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (1-methylimidazol-2-yl)-(1-propylsulfonylpiperidin-3-yl)methanol is given. What is its corresponding molecular formula?
user
C13H23N3O3S
assistant