Строго логическое решение существует.
SPOILER
1(57). EK/Q: e1= 4
2(56). EK/Q: h3= 6
3(55). EK/H: a4= 9
4(54). EK/H: d4= 4
5(53). EK/Q: e4= 1
6(52). EK/Q: d2= 1
--(52). Г2/Q: (d8,e8)=(5,7)-->e8<>2,
--(52). Г4/Q: (g9,h9,h7,i7)=(3,4,8,9)-->g9<>2, h9<>2, h7<>2,
--(52). Г4/Q: (d6,e6,f6,e5)=(2,3,5,6)-->d6<>8, e6<>8, f6<>8, e5<>7, e5<>8,
--(52). Г4/Q: (g2,h2,i2,h1)=(2,3,5,7)-->g2<>8, g2<>9, h2<>8, h2<>9, i2<>8, i2<>9, h1<>1, h1<>8, h1<>9,
7(51). EK/H: e2= 9
8(50). EK/P: i2= 3
9(49). EK/Q: g9= 3
10(48). EK/Q: e7= 3
11(47). EK/Q: f6= 3
12(46). EK/Q: c5= 3
13(45). EK/Q: b1= 3
14(44). EK/V: f9= 2
15(43). EK/P: e5= 2
16(42). EK/P: g2= 2
17(41). EK/Q: h8= 2
18(40). EK/Q: g8= 1
19(39). EK/V: h5= 1
--(39). Г3/V: (c9,c3,c1)=(1,7,9)-->c9<>4, c3<>2,
--(39). Г4/Q: (a9,a7,b7,c7)=(2,4,5,6)-->a9<>7,
--(39). ЕР/H: (a2/a1,h2/h1)<>(5/7)-->a3<>8,b3<>8,a5<>8,
--(39). Ц7: e6=5-->e9=6-->a9=4-->a5=7-->d5=8-->d8=7-->d6=5-->e6<>5
20(38). EK/Q: d6= 5
21(37). EK/Q: e8= 5
22(36). EK/Q: e6= 6
23(35). EK/Q: d8= 7
24(34). EK/Q: f4= 7
25(33). EK/Q: a5= 7
26(32). EK/Q: c6= 4
27(31). EK/Q: b6= 2
28(30). EK/Q: a3= 2
29(29). EK/Q: c7= 2
30(28). EK/Q: i5= 4
31(27). EK/Q: e3= 7
32(26). EK/Q: c1= 7
33(25). EK/Q: b9= 7
34(24). EK/Q: c9= 1
35(23). EK/Q: b3= 1
36(22). EK/Q: i1= 1
37(21). EK/Q: h2= 7
38(20). EK/Q: h1= 5
39(19). EK/Q: a2= 5
40(18). EK/Q: b7= 5
41(17). EK/Q: f3= 5
42(16). EK/Q: b4= 8
43(15). EK/Q: d5= 8
44(14). EK/Q: e9= 8
45(13). EK/Q: a1= 8
46(12). EK/Q: f2= 8
47(11). EK/Q: i3= 8
48(10). EK/Q: h7= 8
49(9). EK/Q: h9= 4
50(8). EK/Q: a7= 4
51(7). EK/Q: a9= 6
52(6). EK/Q: d7= 6
53(5). EK/Q: g6= 8
54(4). EK/Q: d9= 9
55(3). EK/Q: i7= 9
56(2). EK/Q: h6= 9
57(1). EK/Q: c3= 9
58(0). EK/Q: g1= 9