Xuanyi Geng and Qixian Cao solve a Rubik's Cube in under 9 seconds