damned dimacs