Vertex-cover alg working perfectly in O((2^k)*m) time!