change test.dimacs