You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name 12-[3-(2-isocyanophenyl)-5-(6-phenylpyridin-2-yl)phenyl]-[1]benzothiolo[2,3-a]carbazole ?
user
C42H25N3S
assistant