[math-fun] Puzzling the 120-cell