You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name methyl (1S,4R)-4-hydroxy-2,2-dimethyl-4-(1,3-thiazol-2-yl)cyclohexane-1-carboxylate into its molecular formula.
user
C13H19NO3S
assistant