You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(9R)-9-thiophen-2-yl-3,6,8,9-tetrahydro-2H-[1,4]dioxino[2,3-g]quinolin-7-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C15H13NO3S
assistant