2  --pos-neg-start --complete 7 ;
60 --conjecture-start ;
20 --pos-neg-start --restrict-start ;
2  --conjecture-start --reorder 23 ;
2  --pos-neg-start --restrict-start --reorder 29 ;
2  --conjecture-start --reorder 37 ;
2  --pos-neg-start --restrict-start --reorder 41 ; 
2  --conjecture-start --reorder 47 ;
0  --pos-neg-start --all-backtrack ;
