##### - variables C 12 D 11 E 5 F 8 G 15 H 13 I 7 J 19 K 4 L 9 ##### - values p q r x y z ##### - deadline constraint 22 ##### - 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