baxters four-coloring constant