If it's worth saying, but not worth its own post, then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should start on Monday, and end on Sunday.
4. Unflag the two options "Notify me of new top level comments on this article" and "
The question is, whether this 13 is the minimal number indeed. And the question is, whether there is a solution with an average number of neighbors greater than just 6.
I plan to output all the solutions up to some number. They will be conjectures like this one, open for an improvement, or for a proof.
Something like this:
http://mathworld.wolfram.com/JohnsonSolid.html