You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2S)-1-piperidin-1-yl-2-(7-thia-9,11-diazatricyclo[6.4.0.02,6]dodeca-1(8),2(6),9,11-tetraen-12-ylsulfanyl)propan-1-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C17H21N3OS2
assistant