Problema de las 5x5 Reinas Lógica SAT solver

c tauler amb     tauler amb els hommònims
c lletres        numèrics de les lletres

c A B C D E        1   2   3   4   5  0
c F G H I J        6   7   8   9   10 0
c K L M N O  ===>  11  12  13  14  15 0
c P Q R S T        16  17  18  19  20 0
c U V W X Y        21  22  23  24  25 0


p cnf 25 170

c-----------
c FILES
c-----------
1 2 3 4 5 0
-1 -2 0
-1 -3 0
-1 -4 0
-1 -5 0
-2 -3 0
-2 -4 0
-2 -5 0
-3 -4 0
-3 -5 0
-4 -5 0
c-----------
6 7 8 9 10 0
-6 -7 0
-6 -8 0
-6 -9 0
-6 -10 0
-7 -8 0
-7 -9 0
-7 -10 0
-8 -9 0
-8 -10 0
-9 -10 0
c-----------
11 12 13 14 15 0
-11 -12 0
-11 -13 0
-11 -14 0
-11 -15 0
-12 -13 0
-12 -14 0
-12 -15 0
-13 -14 0
-13 -15 0
-14 -15 0
c-----------
16 17 18 19 20 0
-16 -17 0
-16 -18 0
-16 -19 0
-16 -20 0
-17 -18 0
-17 -19 0
-17 -20 0
-18 -19 0
-18 -20 0
-19 -20 0
c-----------
21 22 23 24 25 0
-21 -22 0
-21 -23 0
-21 -24 0
-21 -25 0
-22 -23 0
-22 -24 0
-22 -25 0
-23 -24 0
-23 -25 0
-24 -25 0

c-----------
c COLUMNES
c-----------
1 6 11 16 21 0
-1 -6 0
-1 -11 0
-1 -16 0
-1 -21 0
-6 -11 0
-6 -16 0
-6 -21 0
-11 -16 0
-11 -21 0
-16 -21 0
c-----------
2 7 12 17 22 0
-2 -7 0
-2 -12 0
-2 -17 0
-2 -22 0
-7 -12 0
-7 -17 0
-7 -22 0
-12 -17 0
-12 -22 0
-17 -22 0
c-----------
3 8 13 18 23 0
-3 -8 0
-3 -13 0
-3 -18 0
-3 -23 0
-8 -13 0
-8 -18 0
-8 -23 0
-13 -18 0
-13 -23 0
-18 -23 0
c-----------
4 9 14 19 24 0
-4 -9 0
-4 -14 0
-4 -19 0
-4 -24 0
-9 -14 0
-9 -19 0
-9 -24 0
-14 -19 0
-14 -24 0
-19 -24 0
c-----------
5 10 15 20 25 0
-5 -10 0
-5 -15 0
-5 -20 0
-5 -25 0
-10 -15 0
-10 -20 0
-10 -25 0
-15 -20 0
-15 -25 0
-20 -25 0
c-----------------
c DIAGONALS A-->Y
c-----------------
-6- 2 0
c-----------
-11 -7 0
-11 -3 0
-7 -3 0
c-----------
-16 -12 0
-16 -8 0
-16 -4 0
-12 -8 0
-12 -4 0
-8 -4 0
c-----------
-21 -17 0
-21 -13 0
-21 -9 0
-21 -5 0
-17 -13 0
-17 -9 0
-17 -5 0
-13 -9 0
-13 -5 0
-9 -5 0
c-----------
-28 -18 0
-28 -14 0
-28 10 0
-18 -14 0
-18 -10 0
-14 -10 0
c-----------
-23 -19 0
-23 -15 0
-19 -15 0
c-----------
-24 -20 0

c-----------------
c DIAGONALS E-->Y
c-----------------
-4 -10 0
c-----------

-3 -9 0
-3 -15 0
-9 -15 0
c-----------

-2 -8 0
-2 -14 0
-2 -20 0
-8 -14 0
-8 -20 0
-14 -20 0
c-----------

-1 -7 0
-1 -13 0
-1 -19 0
-1 -25 0
-7 -13 0
-7 -19 0
-7 -25 0
-13 -19 0
-13 -25 0
-19 -25 0
c-----------

-6 -12 0
-6 -18 0
-6 -24 0
-12 -18 0
-12 -24 0
-18 -24 0
c-----------
-11 -17 0
-11 -23 0
-17 -23 0
c-----------
-16 -22 0