c this header has: p NUMVARS NUMCLAUSES
c we have 4 + 2 = 6  variables
c we have 3 + 3 + 8 + 4 = 18 claues
p cnf 6 18
c --------- definitions of variables ---------
c var "a"  = 1
c var "b"  = 2
c var "c"  = 3
c var "d"  = 4
c int_var1 = 5
c int_var2 = 6
c --------------------------------------------
c (translation of int_var1 = a*b :)
5 -1 -2 0
-5 1 0
-5 2 0
c (translation of int_var2 = b*c :)
6 -2 -3 0
-6 2 0
-6 3 0
c (translation of false = int_var1 + int_var2 + b + d :)
-5 6 2 4 0
5 -6 2 4 0
5 6 -2 4 0
5 6 2 -4 0
-5 -6 -2 4 0
-5 -6 2 -4 0
-5 6 -2 -4 0
5 -6 -2 -4 0
c (translation of false = int_var2 + c + a :)
6 3 -1 0
6 -3 1 0
-6 3 1 0
-6 -3 -1 0