0.637 seconds - a new Rubik's Cube machine world record!