lingo中一个01矩阵,要求选出尽可能少的行,使每列至少有一个1，这怎么约束