qnli question: Of the 16 satellites launched for the BeiDou-2 system, how many are operational? sentence: As of December 2012, 16 satellites for BeiDou-2 have been launched, 14 of them are in service.