[math-fun] Tetrahedron puzzle