On vertex-coloring 13-edge-weighting