https://tongfamily.com/2004/02/05/rubik-cube-solver/