求解约束条件为“≥”型的线性规划、构造基本矩阵时，可用的变量有 （ ）