当满足最优值检验标准时,若非基变量的检验数都不等于零,则该LP模型有?