“…Actually, (2) was conjectured by Fisher, Fraughnaugh, Langley [13]. Later Ya-Chen [8] determined sat(n, C 5 ) for all n, as well as all extremal graphs. The best previously known general lower bound came from Barefoot, Clark, Entringer, Porter, Székely, and Tuza [3], and the best general upper bound (a clever, complicated construction resembling a bicycle wheel) came from Gould, Łuczak, and Schmitt [15] 1…”