xue_(knotaproblem) best from all time