You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 3-(1,3-benzodioxol-5-ylsulfanyl)-5-phenyl-[1,3]thiazolo[2,3-c][1,2,4]triazole by IUPAC nomenclature, provide its molecular formula.
user
C17H11N3O2S2
assistant