For the feasible region shown below, the non-trivial constraints of the linear programming problem are 
For the linear programming problem: \[ {Maximize} \quad Z = 2x_1 + 4x_2 + 4x_3 - 3x_4 \] subject to \[ \alpha x_1 + x_2 + x_3 = 4, \quad x_1 + \beta x_2 + x_4 = 8, \quad x_1, x_2, x_3, x_4 \geq 0, \] consider the following two statements:
S1: If \( \alpha = 2 \) and \( \beta = 1 \), then \( (x_1, x_2)^T \) forms an optimal basis.
S2: If \( \alpha = 1 \) and \( \beta = 4 \), then \( (x_3, x_2)^T \) forms an optimal basis. Then, which one of the following is correct?