##### - variables
C 6
G 15
##### - values
p
z
##### - deadline constraint
22
##### - unary inclusive
##### - unary exclusive
##### - binary equals
##### - binary not equals
C G
##### - binary not simultaneous
C G p z