What is the sentiment of this tweet? Please choose an answer from {negative/neutral/positive}.
Text: $isrg trading at all-time high after strong earnings report with 4 days of short interest.
user
positive
assistant