You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 3-(5,6-dimethyl-4-oxo-3H-thieno[2,3-d]pyrimidin-2-yl)-N-[2-(3-methylpiperidin-1-yl)propyl]propanamide by IUPAC nomenclature, provide its molecular formula.
user
C20H30N4O2S
assistant