lingo非線性整數規劃?