Baxter's four-coloring constant for a triangular lattice is given by
(OEIS A142954).
More things to try:
Weisstein, Eric W. "Baxter's Four-Coloring Constant." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/BaxtersFour-ColoringConstant.html