Are there known bounds on the number of proper 3-colorings of a 3-regular in terms of vertex count?