请给出下面差分约束系统的可行解或证明系统没有可行解。