9.39 Official Rubik's Cube Average | CubingUSA Nationals 2017