[math-fun] Fwd: harder 7x7x7?