N=13, dihedral order 8, m=24
Schütte, van der Waerden 1951, proved by Musin and Tarasov 2015