You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (3S,4R)-1-[(5-methyl-1,3,4-thiadiazol-2-yl)methyl]-4-(pyrazin-2-ylmethyl)pyrrolidin-3-ol ?
user
C13H17N5OS
assistant