国内三大高端机，同样6000多块钱，你买哪个？