covered vertex cover