An Ore-type condition for hamiltonicity in tough graphs and the extremal examples - Songling Shan (2022)