baxter's four-coloring constant