You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [(3R,4S)-4-amino-1,1-dioxothiolan-3-yl]-[2-(2-methyl-1,3-thiazol-4-yl)-6,7-dihydro-4H-thieno[3,2-c]pyridin-5-yl]methanone by IUPAC nomenclature, provide its molecular formula.
user
C16H19N3O3S3
assistant