Anyone know what the length of the longest simple circuit of a W10 graph is?