added vertex cover solution