My mystake, I overwrote the toybox dimacs file. Rreverting.