All Rubik's Cube positions can be solved in 20 moves

proven with the help of 35 CPU-years donated by Google