##### - variables C 6 D 9 E 6 F 8 G 15 H 12 I 7 J 19 K 10 L 9 ##### - values p q r x y z ##### - deadline constraint 4 ##### - unary inclusive D q r ##### - unary exclusive E z L y p ##### - binary equals C D E F ##### - binary not equals C G ##### - binary not simultaneous E G p z