bst_plain_10.cnf

p cnf 10 40
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
1 8 9 0
-1 -8 -9 0
1 9 10 0
-1 -9 -10 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
2 7 9 0
-2 -7 -9 0
2 8 10 0
-2 -8 -10 0
3 4 7 0
-3 -4 -7 0
3 5 8 0
-3 -5 -8 0
3 6 9 0
-3 -6 -9 0
3 7 10 0
-3 -7 -10 0
4 5 9 0
-4 -5 -9 0
4 6 10 0
-4 -6 -10 0