You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3aS,6aS)-3-(2-fluorophenyl)-2-[(2-methylphenyl)methylsulfanyl]-3a,4,6,6a-tetrahydrothieno[3,4-d]imidazole 5,5-dioxide The above is the IUPAC name of a molecule. Write its molecular formula.
user
C19H19FN2O2S2
assistant