在Lindo软件中，( )表述变量x为非负整数变量。