Согласен. Строго логическое решение существует. Стандартные приёмы.
Доказательство:
SPOILER
1(57). EK/Q: d3= 2
2(56). EK/Q: e3= 7
3(55). EK/H: c4= 5
4(54). EK/Q: b4= 4
5(53). EK/P: b2= 3
6(52). EK/Q: i1= 3
7(51). EK/Q: i2= 5
8(50). EK/P: b1= 6
--(50). Г2/Q: (h9,i8)=(2,4)-->h9<>3, h9<>7, i8<>9, i8<>7,
--(50). Г2/Q: (h6,g5)=(3,6)-->h6<>2, h6<>7, g5<>1,
9(49). EK/V: h9= 2
10(48). EK/Q: i8= 4
11(47). EK/Q: f9= 4
12(46). EK/Q: e9= 1
13(45). EK/Q: e8= 3
14(44). EK/Q: d5= 4
15(43). EK/H: c9= 3
16(42). EK/Q: b9= 7
17(41). EK/V: e6= 5
18(40). EK/Q: f6= 9
19(39). EK/Q: e2= 9
20(38). EK/Q: f2= 8
21(37). EK/H: c2= 1
22(36). EK/Q: c3= 4
23(35). EK/Q: h2= 4
24(34). EK/Q: e5= 8
25(33). EK/Q: a3= 8
26(32). EK/Q: a1= 9
27(31). EK/H: i4= 8
28(30). EK/H: h4= 7
29(29). EK/Q: i7= 7
30(28). EK/Q: g4= 9
31(27). EK/Q: h7= 9
32(26). EK/Q: g7= 3
33(25). EK/Q: h6= 3
34(24). EK/Q: a5= 3
35(23). EK/Q: g8= 5
36(22). EK/Q: g5= 6
37(21). EK/Q: h3= 6
38(20). EK/Q: c8= 9
39(19). EK/Q: i3= 9
40(18). EK/Q: g3= 1
41(17). EK/H: a4= 1
42(16). EK/H: i5= 2
43(15). EK/Q: i6= 1
44(14). EK/Q: f5= 1
45(13). EK/Q: d1= 1
46(12). EK/Q: f1= 5
47(11). EK/Q: d7= 5
48(10). EK/Q: d6= 7
49(9). EK/Q: f8= 7
50(8). EK/Q: f7= 6
51(7). EK/Q: a8= 6
52(6). EK/Q: b8= 2
53(5). EK/Q: a6= 2
54(4). EK/Q: c6= 6
55(3). EK/Q: c5= 7
56(2). EK/Q: c7= 8
57(1). EK/Q: d8= 8
58(0). EK/Q: b6= 8