You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (2S,4R)-2-[(1-cyanocyclopropyl)carbamoyl]-4-[2-(trifluoromethoxy)phenyl]sulfanylpyrrolidine-1-carboxylate into molecular formula.
user
C17H15F3N3O4S-
assistant