about to run cvx on dimacs