You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (1S,2R,4S,5R)-3-ethynyltricyclo[3.2.1.02,4]octane ?
user
C10H12
assistant