Rename VertexCovertoSat.c to C10.c