You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule 5-oxo-N-(1-thiophen-2-ylethyl)-1-(2,2,2-trifluoroethyl)pyrrolidine-3-carboxamide ?
user
C13H15F3N2O2S
assistant