##### - variables
A 1
B 1
C 1
D 1
E 1
F 1
G 1
H 1
I 1
J 1
K 1
L 1
M 1
N 1
O 1
P 1
Q 1
R 1
S 1
T 1
U 1
V 1
W 1
X 1
Y 1
Z 1
##### - values, q is expensive p is free
p
q
##### - deadline constraint
22
##### - unary inclusive
A p
##### - unary exclusive
B q
C q
##### - binary equals
A B
B C
##### - binary not equals
D E
F G
##### - binary not simultaneous
H I p q
J K p q
L M p q
N O q p