You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 2-(4-methyl-9-oxo-12-propan-2-yl-5-thia-1,10,11-triazatricyclo[6.4.0.02,6]dodeca-2(6),3,7,11-tetraen-10-yl)-N-[(3R)-piperidin-3-yl]acetamide is given. What is its corresponding molecular formula?
user
C19H25N5O2S
assistant