##### - variables
C 10
##### - values
p
q
##### - deadline constraint
10
##### - unary inclusive
C p
##### - unary exclusive
C q
##### - binary equals
##### - binary not equals
##### - binary not simultaneous