##### - variables W 1 S 1 T 1 Q 1 N 1 V 1 R 1 ##### - values r b g ##### - deadline constraint ##### - unary inclusive ##### - unary exclusive ##### - binary equals ##### - binary not equals W T W S S T T Q S Q N Q S N S V N V ##### - binary not simultaneous