Rubiks cubes are hard to solve