[math-fun] coloring unit-distance graph in the plane