一、请给出下面差分约束系统的可行解或证明该系统没有可行解。 x_1-x_2⩽1 x_1-x_4⩽-4 x_2-x_3⩽2 x_2-x_5⩽7 x_2-x_6⩽5 x_3-x_6⩽10 x_4-x_2⩽2 x_5-x_1⩽-1 x_5-x_4