Solving a 17x17x17 rubik’s cube