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

1(56). EK/Q: c6= 1
2(55). EK/Q: i4= 2
3(54). EK/Q: c1= 8
4(53). EK/Q: i3= 8
5(52). EK/Q: g6= 8
6(51). EK/Q: d4= 8
7(50). EK/Q: e9= 8
8(49). EK/H: f3= 1
9(48). EK/Q: d9= 3
10(47). EK/Q: a8= 7
11(46). EK/Q: b1= 7
12(45). EK/Q: e2= 7
13(44). EK/H: i2= 3
14(43). EK/Q: b9= 6
15(42). EK/Q: b4= 9
16(41). EK/Q: b5= 5
17(40). EK/H: f4= 5
18(39). EK/H: a4= 6
19(38). EK/V: b7= 4
20(37). EK/P: i5= 9
21(36). EK/P: g5= 6
--(36). Г3/Q: (g8,g7,i7)=(1,5,9)-->g8<>2, g7<>2,
--(36). Г2/Q: (h2,h1)=(6,9)-->h2<>2, h2<>5, h1<>2, h1<>5,
--(36). Г2/H: (d2,h2)=(6,9)-->d2<>2, d2<>4, d2<>5,
--(36). Г3/V: (e7,e6,e1)=(3,6,9)-->e7<>5, e6<>4, e1<>4, e1<>5,
22(35). EK/P: e7= 6
--(35). ЕР/H: (d2/d1,h2/h1)<>(6/9)-->d1<>6, d1<>9,
--(35). Г3/Q: (d2,e1,f1)=(3,6,9)-->f1<>2, f1<>4,
23(34). EK/V: f8= 2
24(33). EK/Q: e8= 4
25(32). EK/Q: d7= 5
26(31). EK/Q: g8= 5
27(30). EK/Q: e3= 5
28(29). EK/Q: i1= 5
29(28). EK/Q: g1= 1
30(27). EK/Q: i7= 1
31(26). EK/Q: g2= 4
32(25). EK/Q: h3= 2
33(24). EK/Q: g9= 2
34(23). EK/Q: d1= 2
35(22). EK/Q: i9= 4
36(21). EK/Q: a1= 4
37(20). EK/Q: c5= 4
38(19). EK/Q: a6= 3
39(18). EK/Q: c7= 3
40(17). EK/Q: a7= 2
41(16). EK/Q: c2= 2
42(15). EK/Q: f5= 3
43(14). EK/Q: e1= 3
44(13). EK/Q: d3= 4
45(12). EK/Q: f6= 4
46(11). EK/Q: h6= 5
47(10). EK/Q: a2= 5
48(9). EK/Q: d6= 6
49(8). EK/Q: f1= 6
50(7). EK/Q: h2= 6
51(6). EK/Q: h9= 7
52(5). EK/Q: i6= 7
53(4). EK/Q: c8= 9
54(3). EK/Q: g7= 9
55(2). EK/Q: e6= 9
56(1). EK/Q: d2= 9
57(0). EK/Q: h1= 9