##### - variables
A 25
B 25
C 25
D 1
E 1
F 1
##### - values
a
b
c
##### - deadline constraint
50
##### - unary inclusive
A a b
##### - unary exclusive
B a c
##### - binary equals
D F
##### - binary not equals
B E
##### - binary not simultaneous
C F a b
B A b b