You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (E)-N-(2-methyl-3-oxo-5,6,7,8-tetrahydrocinnolin-6-yl)-3-thiophen-2-ylprop-2-enamide ?
user
C16H17N3O2S
assistant