You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3R,5R)-1-[2,4-bis(methylsulfonyl)phenyl]-3,5-dimethylpiperidine by IUPAC nomenclature, provide its molecular formula.
user
C15H23NO4S2
assistant