“…The value of sat(n, C m ) is unknown (even asymptotically) for any other fixed m; various bounds are proved in [1,17]. Also, the aggregate outcome of papers [6,19,11,10,12,32], with the final gaps filled by computer search, determines sat(n, C n ), the Hamilton cycle case, for all n ≥ 3.…”