养老基金第1单，卖出3份$达芬奇手术机器人(ISRG)$认沽期权，2020/01/17到期。