Self-solving Rubik's Cube Example