在河南某小学五年级就读的学生王奇（化名）说，他身边有不少同学存在因手表“拉帮结派”的现象。小天才手表部分功能不与其他品牌互通，且最新功能仅支持新版本手表下载，旧版无法更新。“因此，大家会攀比最新功能，只有用同款手表的才会凑在一起玩。”
Author(s): Aojie Li, Han Hu, Tao Guo, Ruochen Sun, Mao Ye, Feng Tian, Yi Liu
。关于这个话题，51吃瓜提供了深入分析
The world stopped breathing and watched.
据新浪科技消息，近日美团关联公司北京三快科技有限公司申请注册3枚“美团拼好房”商标，国际分类分别为科学仪器、金融物管、餐饮住宿，目前商标状态均为等待实质审查。
SAT (short for "satisfiability") is a logic problem that given a boolean formula, it asks whether the boolean formula has an assignment that makes the problem true. An example boolean formula is: