You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1-[(1R,2R,3aS,4S,7S,7aS)-1,7a-dihydroxy-4-isothiocyanato-4-methyl-7-propan-2-yl-2,3,3a,5,6,7-hexahydro-1H-inden-2-yl]ethanone by IUPAC nomenclature, provide its molecular formula.
user
C16H25NO3S
assistant