bst_plain_8.cnf

p cnf 8 24
1 2 3 0
-1 -2 -3 0
1 3 4 0
-1 -3 -4 0
1 4 5 0
-1 -4 -5 0
1 5 6 0
-1 -5 -6 0
1 6 7 0
-1 -6 -7 0
1 7 8 0
-1 -7 -8 0
2 3 5 0
-2 -3 -5 0
2 4 6 0
-2 -4 -6 0
2 5 7 0
-2 -5 -7 0
2 6 8 0
-2 -6 -8 0
3 4 7 0
-3 -4 -7 0
3 5 8 0
-3 -5 -8 0