You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name N-(4-methyl-1,3-thiazol-2-yl)-2-[3-(trifluoromethyl)piperidin-1-yl]-6,7,8,9-tetrahydro-5H-pyrido[2,3-b][1,4]diazocine-10-carboxamide into its molecular formula.
user
C20H25F3N6OS
assistant