A Machine Learning Approach That Beats Large Rubik's Cubes