./march_sch $1 tmp/cubes$$
echo "p inccnf" > tmp/formula$$.icnf
cat $1 | grep -v c >> tmp/formula$$.icnf
cat tmp/cubes$$ >> tmp/formula$$.icnf
~/iglucose/core/glucose tmp/formula$$.icnf -verb=0 | grep time
#rm tmp/formula$$.icnf
