You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 1-(2,5-dimethylthiophen-3-yl)prop-2-en-1-ol into its molecular formula.
user
C9H12OS
assistant