Строго логическое решение существует. Стандартные приёмы.
SPOILER
1(58). EK/Q: a2= 9
2(57). EK/H: h7= 9
3(56). EK/Q: i4= 9
4(55). EK/Q: g4= 4
5(54). EK/Q: f5= 9
6(53). EK/Q: f4= 8
7(52). EK/V: f3= 3
8(51). EK/Q: e3= 6
--(51). Г2/Q: (b6,b4)=(2,7)-->b6<>6,
9(50). EK/H: g6= 6
10(49). EK/Q: h9= 6
11(48). EK/P: g2= 5
12(47). EK/Q: i9= 5
13(46). EK/Q: h5= 5
14(45). EK/Q: i6= 1
15(44). EK/Q: e5= 1
16(43). EK/Q: d9= 1
17(42). EK/Q: c7= 1
18(41). EK/Q: b3= 1
19(40). EK/Q: h2= 1
20(39). EK/Q: e4= 3
21(38). EK/Q: g5= 3
22(37). EK/Q: i8= 3
23(36). EK/Q: c9= 3
24(35). EK/Q: h1= 3
25(34). EK/Q: h3= 2
26(33). EK/Q: f9= 4
27(32). EK/Q: b1= 5
28(31). EK/Q: d3= 5
29(30). EK/Q: f6= 5
30(29). EK/Q: d6= 2
31(28). EK/Q: b4= 2
32(27). EK/Q: e7= 5
33(26). EK/Q: b6= 7
34(25). EK/Q: h4= 7
35(24). EK/Q: d2= 8
36(23). EK/Q: d1= 4
37(22). EK/Q: i3= 4
38(21). EK/Q: c2= 4
39(20). EK/Q: a5= 4
40(19). EK/Q: i1= 7
41(18). EK/Q: d8= 9
42(17). EK/Q: b9= 9
43(16). EK/Q: a9= 8
44(15). EK/Q: c3= 8
45(14). EK/Q: a3= 7
46(13). EK/Q: c8= 7
47(12). EK/Q: a7= 2
48(11). EK/Q: g9= 2
49(10). EK/Q: f8= 2
50(9). EK/Q: c1= 2
51(8). EK/Q: e2= 2
52(7). EK/Q: b8= 6
53(6). EK/Q: f7= 6
54(5). EK/Q: c5= 6
55(4). EK/Q: a1= 6
56(3). EK/Q: e9= 7
57(2). EK/Q: g7= 7
58(1). EK/Q: f2= 7
59(0). EK/Q: b5= 8