Как верно указывает
Voron, строго логическое решение существует. Доказательство:
SPOILER
1(58). EK/Q: c4= 3
2(57). EK/Q: c1= 6
3(56). EK/Q: e8= 8
4(55). EK/Q: e9= 7
5(54). EK/Q: c5= 9
6(53). EK/H: h1= 1
7(52). EK/H: d1= 7
8(51). EK/H: e1= 5
9(50). EK/Q: f1= 2
10(49). EK/Q: d4= 5
11(48). EK/P: i2= 9
12(47). EK/Q: d3= 9
13(46). EK/P: d2= 8
--(46). Г2/Q: (a3,b3)=(3,8)-->a3<>5, b3<>5, b3<>7,
--(46). ЗГ/H: (h8,i8)=6-->h9<>6,i9<>6,h7<>6,
--(46). ЗГ/H: (a6,b6)=8-->a5<>8,b5<>8,
14(45). EK/P: a5= 1
15(44). EK/Q: e4= 1
--(44). Г3/H: (f5,g5,h5)=(6,7,8)-->f5<>4, g5<>2, g5<>4, h5<>2, h5<>4,
16(43). EK/P: g5= 7
--(43). Г3/V: (i9,i8,i6)=(1,3,6)-->i9<>2, i9<>4, i8<>2, i6<>2, i6<>4,
17(42). EK/P: i9= 3
18(41). EK/H: b8= 3
19(40). EK/Q: a3= 3
20(39). EK/Q: c8= 7
21(38). EK/Q: b7= 1
22(37). EK/Q: c2= 1
23(36). EK/Q: b2= 7
24(35). EK/Q: c3= 5
25(34). EK/Q: h2= 5
26(33). EK/Q: g7= 5
27(32). EK/Q: h3= 7
28(31). EK/Q: b3= 8
29(30). EK/Q: a6= 8
30(29). EK/Q: b6= 5
31(28). EK/Q: a9= 5
32(27). EK/Q: a7= 6
33(26). EK/Q: f9= 6
34(25). EK/Q: d6= 6
35(24). EK/Q: e5= 2
36(23). EK/Q: d7= 2
37(22). EK/Q: c6= 2
38(21). EK/Q: b9= 2
39(20). EK/Q: c9= 4
40(19). EK/Q: h7= 4
41(18). EK/Q: b5= 4
42(17). EK/Q: f4= 4
43(16). EK/Q: g6= 4
44(15). EK/Q: i6= 1
45(14). EK/Q: g8= 1
46(13). EK/Q: h8= 2
47(12). EK/Q: e2= 4
48(11). EK/Q: f2= 3
49(10). EK/Q: e7= 3
50(9). EK/Q: i3= 4
51(8). EK/Q: g3= 2
52(7). EK/Q: i4= 2
53(6). EK/Q: i8= 6
54(5). EK/Q: h5= 6
55(4). EK/Q: f5= 8
56(3). EK/Q: h4= 8
57(2). EK/Q: f7= 9
58(1). EK/Q: h9= 9
59(0). EK/Q: g4= 9