You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3R,4S)-N-(4,4-dimethylcyclohexyl)-4-(4-fluorophenyl)-1-(1-methylimidazol-4-yl)sulfonylpyrrolidin-3-amine by IUPAC nomenclature, provide its molecular formula.
user
C22H31FN4O2S
assistant