Rename VertexCovertoSat to VertexCovertoSat.c