./march_sch $1 tmp/cubes$$ $2
echo "p inccnf" > tmp/formula$$.icnf
cat $1 | grep -v c >> tmp/formula$$.icnf
cat tmp/cubes$$ >> tmp/formula$$.icnf
time ~/lingeling-bbc/ilingeling tmp/formula$$.icnf -b 8
#rm tmp/formula$$.icnf
