Vertex Cover Using Backtracking