求助GAMS, jetty scheduling 问题

julimani

6艘船4个站。船从港口驶入后不能更换顺序。每艘船要依次在4个站中的一个卸货，而且不能同时开始卸货。
$ I4 p7 r2 j. ]
4 s0 ?3 ?/ t+ E( B
. L1 S; {7 \  Y7 ?# i% O; c上表是每艘船(ship)在四个站(station)卸货各需要的时间。
) e5 d% V: `+ m. Y" V其他约束条件我都有了。
想问问会GAMS,或者懂规划的大神，不能同时卸货(卸货用start表示)的约束条件怎么写？（GAMS里貌似不能使用start(ship1)不等于start(ship2)之类的语法）

感激不尽！！！
4 k9 H: w# G0 u3 z* b2 L