You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Provide the molecular formula for the IUPAC named substance 8-methyl-5-[2-[4-(trifluoromethyl)phenyl]ethenyl]-9H-[1,3]dioxolo[4,5-h][2,3]benzodiazepine .
user
C20H15F3N2O2
assistant