You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name [2-[(3R,5S)-3,5-dimethylpiperidin-1-yl]-2-oxoethyl] 2-(cyclopropanecarbonylamino)-4,5-dimethylthiophene-3-carboxylate into its molecular formula.
user
C20H28N2O4S
assistant