vertex cover finished