[math-fun] Maximal 3D unit distance graphs.