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 2-(2,5-dimethylthiophen-3-yl)-3H-[1,2,4]triazolo[4,3-f]phenanthridine ?
user
C20H17N3S
assistant