Problème des 20 reines

Quelle est la solution lexicographiquement plus petite pour 20 reines ?

Vous aurez probablement besoin de l’aide d’un ordinateur, et le solveur que nous venons d’écrire.