You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
2-[3-(5-chlorothiophen-2-yl)piperazin-1-yl]-5-(trifluoromethyl)pyrazine The above is the IUPAC name of a molecule. Write its molecular formula.
user
C13H12ClF3N4S
assistant