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

1(54). EK/Q: b6= 3
2(53). EK/Q: i2= 5
3(52). EK/H: d3= 8
4(51). EK/Q: e4= 8
5(50). EK/Q: d5= 3
6(49). EK/Q: e8= 3
7(48). EK/Q: d6= 4
8(47). EK/Q: f6= 5
9(46). EK/Q: g1= 8
10(45). EK/H: e2= 4
11(44). EK/H: h9= 5
12(43). EK/V: b9= 8
13(42). EK/Q: b7= 9
14(41). EK/Q: e9= 9
15(40). EK/Q: d1= 9
--(40). Г2/Q: (h7,i7)=(2,3)-->h7<>1, h7<>6, i7<>1, i7<>6, i7<>7,
--(40). Г2/Q: (h4,i4)=(3,4)-->h4<>1, h4<>6, i4<>1, i4<>6,
--(40). Г2/Q: (a3,c1)=(4,7)-->a3<>1, a3<>2, c1<>1, c1<>2,
--(40). ЗГ/H: (h3,i3)=1--> g2<>1,h1<>1,i1<>1,
16(39). EK/P: g2= 7
17(38). EK/Q: i9= 7
18(37). EK/Q: e7= 7
19(36). EK/Q: f3= 7
20(35). EK/Q: f2= 2
21(34). EK/Q: b1= 2
22(33). EK/Q: b2= 1
23(32). EK/Q: e1= 1
24(31). EK/Q: d2= 6
25(30). EK/Q: f9= 6
26(29). EK/Q: c1= 7
27(28). EK/Q: a3= 4
28(27). EK/Q: c7= 4
29(26). EK/Q: c8= 5
30(25). EK/Q: a8= 2
31(24). EK/Q: c5= 2
32(23). EK/Q: d7= 5
33(22). EK/Q: d8= 1
34(21). EK/Q: g7= 1
35(20). EK/Q: a9= 1
36(19). EK/Q: a7= 6
37(18). EK/Q: g8= 6
38(17). EK/Q: c4= 6
39(16). EK/Q: c6= 1
40(15). EK/Q: i5= 1
41(14). EK/Q: f4= 1
42(13). EK/Q: h3= 1
43(12). EK/Q: i3= 2
44(11). EK/Q: h7= 2
45(10). EK/Q: i7= 3
46(9). EK/Q: h4= 3
47(8). EK/Q: i4= 4
48(7). EK/Q: h1= 4
49(6). EK/Q: i1= 6
50(5). EK/Q: h6= 6
51(4). EK/Q: a6= 7
52(3). EK/Q: a5= 8
53(2). EK/Q: i6= 8
54(1). EK/Q: a4= 9
55(0). EK/Q: f5= 9