Observations - Erik Demaine knows how many moves it takes to solve your rubik's cube