You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (2R)-4,4,4-trifluoro-1-(5-thiophen-3-yltetrazol-2-yl)butan-2-ol by IUPAC nomenclature, provide its molecular formula.
user
C9H9F3N4OS
assistant