Kainberger P. Using Group Theory for Solving Rubik's Cube 2018