The Story of Megaminx Solver