add new disconnected.dimacs