Строго логическое решение существует

1(56). EK/q: P=a6, Z= 4
2(55). EK/q: P=f2, Z= 5
--(55). Г2/Q: P=(a8,c8)=16-->a9<>1, a9<>6, b9<>1, b9<>6, b7<>1, b7<>6, c7<>1, c7<>6,
3(54). EK/p: P=c7, Z= 5
4(53). EK/q: P=i9, Z= 5
5(52). EK/q: P=g4, Z= 5
6(51). EK/q: P=a3, Z= 5
7(50). EK/p: P=c3, Z= 8
8(49). EK/p: P=b3, Z= 2
9(48). EK/q: P=a9, Z= 2
10(47). EK/q: P=b9, Z= 8
11(46). EK/q: P=a5, Z= 8
12(45). EK/q: P=i4, Z= 8
13(44). EK/q: P=h4, Z= 4
14(43). EK/q: P=g1, Z= 8
15(42). EK/q: P=e2, Z= 8
16(41). EK/q: P=b7, Z= 9
17(40). EK/p: P=h7, Z= 1
18(39). EK/h: P=e9, Z= 1
19(38). EK/p: P=h2, Z= 2
20(37). EK/q: P=i6, Z= 2
21(36). EK/v: P=d1, Z= 2
22(35). EK/q: P=d3, Z= 4
23(34). EK/q: P=i1, Z= 4
24(33). EK/q: P=i2, Z= 1
25(32). EK/q: P=i3, Z= 3
26(31). EK/q: P=g7, Z= 4
27(30). EK/q: P=e8, Z= 4
28(29). EK/q: P=i7, Z= 6
29(28). EK/q: P=e3, Z= 7
30(27). EK/q: P=g3, Z= 9
31(26). EK/q: P=h6, Z= 9
32(25). EK/q: P=i5, Z= 7
33(24). EK/q: P=h9, Z= 7
34(23). EK/q: P=f8, Z= 7
35(22). EK/q: P=b4, Z= 7
36(21). EK/q: P=d6, Z= 7
37(20). EK/q: P=f9, Z= 9
38(19). EK/q: P=d9, Z= 6
39(18). EK/q: P=i8, Z= 9
40(17). EK/q: P=e1, Z= 9
41(16). EK/q: P=f1, Z= 6
42(15). EK/q: P=d2, Z= 3
43(14). EK/q: P=a1, Z= 3
44(13). EK/q: P=b1, Z= 1
45(12). EK/q: P=c6, Z= 1
46(11). EK/q: P=a8, Z= 1
47(10). EK/q: P=g5, Z= 1
48(9). EK/q: P=c4, Z= 3
49(8). EK/q: P=e6, Z= 3
50(7). EK/q: P=f7, Z= 3
51(6). EK/q: P=e7, Z= 2
52(5). EK/q: P=f4, Z= 2
53(4). EK/q: P=c8, Z= 6
54(3). EK/q: P=b5, Z= 6
55(2). EK/q: P=e4, Z= 6
56(1). EK/q: P=g6, Z= 6
57(0). EK/q: P=a2, Z= 6