You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by [(3aS,4R,6R,7R,7aR)-3-(1,3-benzodioxol-5-yl)-6,7-dihydroxy-2-sulfanylidene-3a,4,5,6,7,7a-hexahydro-1H-benzimidazol-4-yl]-piperidin-1-ylmethanone ?
user
C20H25N3O5S
assistant