You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(1R,9S)-6-oxo-N-propan-2-yl-5-thiophen-2-yl-7,11-diazatricyclo[7.3.1.02,7]trideca-2,4-diene-11-carboxamide is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H23N3O2S
assistant