You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named (6R)-2-[[(2S)-2-ethylhexanoyl]amino]-6-propyl-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxamide is given. What is its corresponding molecular formula?
user
C20H32N2O2S
assistant