calc over dimacs directly, begin halley method