Vertex_cover loading ...