You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 1-[(3R,5R)-3,5-dimethylpiperidin-1-yl]-2-thiophen-2-ylethanone is given. What is its corresponding molecular formula?
user
C13H19NOS
assistant