CNF=$1
FRAC=$2
if [[ -z $FRAC ]]; then FRAC=0.2; fi
./march_cu $CNF -o /tmp/cubes$$ -f $FRAC
echo "p inccnf" > /tmp/formula$$.icnf
cat $CNF | grep -v c >> /tmp/formula$$.icnf
cat /tmp/cubes$$ >> /tmp/formula$$.icnf
time ~/lingeling/ilingeling /tmp/formula$$.icnf -b 8
#time ~/lingeling-bbc/ilingeling /tmp/formula$$.icnf -b 8
rm /tmp/formula$$.icnf
