[math-fun] diameter of Rubik's cube puzzle