You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named N,N-diethyl-1-[(2-oxo-3-propyl-1,3-benzothiazol-6-yl)sulfonyl]piperidine-4-carboxamide by IUPAC nomenclature, provide its molecular formula.
user
C20H29N3O4S2
assistant