[math-fun] Rubik's cube needs 20 moves