You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3S,4S)-4-(trifluoromethyl)-1-[(2,4,5-trifluorophenyl)carbamoyl]pyrrolidine-3-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C13H10F6N2O3
assistant