You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 6-[4-(trifluoromethoxy)phenyl]-3,7a-dihydro-2H-imidazo[5,1-b][1,3]thiazole-5,7-dione into its molecular formula.
user
C12H9F3N2O3S
assistant