lingo怎么求整数解