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