0.637 s Rubik's Cube machine world record!