You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name dimethyl 5-[3-[(3S)-3-(1,3-dioxolan-2-yl)piperidin-1-yl]propanoylamino]-3-methylthiophene-2,4-dicarboxylate into its molecular formula.
user
C20H28N2O7S
assistant