add test.dimacs
add all