[math-fun] Kissing number question for an optimal cylinder