You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
10-methyl-12-[4-[[(2S)-oxolan-2-yl]methyl]piperazin-4-ium-1-yl]-7-thia-9,11-diazatricyclo[6.4.0.02,6]dodeca-1(12),2(6),8,10-tetraene is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H27N4OS+
assistant