You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-[(2S,5R)-4-(1-hydroxyprop-2-enyl)-2,5-dimethylpiperazin-1-yl]-8-(1-methylindazol-7-yl)-7-(trifluoromethyl)spiro[10-thia-1,3-diazatricyclo[7.4.1.05,14]tetradeca-3,5,7,9(14)-tetraene-12,3'-oxetane]-2-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C31H33F3N6O3S
assistant