add test.dimacs