[math-fun] quasi-icosahedral frustration