You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (1S,2R)-2-[(4-bromothiophen-2-yl)methylcarbamoyl]cyclohexane-1-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C13H16BrNO3S
assistant