You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (4R,5R)-4,5-dibromo-9-chloro-10lambda6-thiatricyclo[5.4.0.02,8]undecane 10,10-dioxide by IUPAC nomenclature, provide its molecular formula.
user
C10H13Br2ClO2S
assistant