You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 4-hydroxy-1,5,6-trimethyl-2,2-dioxo-N-[4-(trifluoromethoxy)phenyl]thieno[2,3-c]thiazine-3-carboxamide by IUPAC nomenclature, provide its molecular formula.
user
C17H15F3N2O5S2
assistant