Better coloring of 3-colorable graphs | Synapse