You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named [(1R)-2-oxocyclohexyl] 3-chloro-1-benzothiophene-2-carboxylate is given. What is its corresponding molecular formula?
user
C15H13ClO3S
assistant