You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (5aS,8aR)-7-[(4-chloro-3-fluorophenyl)methyl]-1-[(3-fluorophenyl)methyl]-3,4,5a,6,8,8a-hexahydropyrrolo[3,4-f][1,4,5]oxathiazepine 2,2-dioxide ?
user
C20H21ClF2N2O3S
assistant