Строго логическое решение существует. Интересный.
SPOILER
1(56). EK/Q: g2= 4
2(55). EK/Q: a9= 5
3(54). EK/Q: b1= 8
4(53). EK/Q: a1= 9
5(52). EK/H: f8= 1
6(51). EK/Q: e8= 8
7(50). EK/Q: f6= 8
8(49). EK/H: e2= 1
9(48). EK/V: a7= 3
10(47). EK/Q: a8= 7
11(46). EK/Q: c7= 4
12(45). EK/Q: b7= 2
13(44). EK/Q: a4= 4
14(43). EK/Q: b8= 6
15(42). EK/H: c2= 2
16(41). EK/Q: d8= 4
17(40). EK/Q: a2= 6
18(39). EK/H: b2= 5
19(38). EK/P: f7= 6
20(37). EK/P: e7= 7
21(36). EK/Q: d3= 7
22(35). EK/Q: c1= 7
23(34). EK/Q: c3= 3
24(33). EK/Q: e1= 3
25(32). EK/Q: d6= 3
26(31). EK/Q: f9= 3
27(30). EK/H: g1= 5
28(29). EK/P: i9= 4
--(29). ЕР/H: (d9/e9,d4/e4)<>(2/9)-->e4<>2, e4<>9,
--(29). EK/P: e4= 6
30(27). EK/Q: c5= 6
31(26). EK/Q: c6= 5
32(25). EK/Q: c4= 1
--(25). Г3/Q: (g6,h6,h5)=(1,4,7)-->g6<>9, h5<>2,
--(25). ЕР/H: (e5/f5,e3/f3)<>(2/5)-->e5<>2, e5<>5,
33(24). EK/Q: f5= 5
34(23). EK/Q: d4= 2
36(21). EK/Q: e9= 2
37(20). EK/Q: i5= 2
38(19). EK/Q: h1= 2
39(18). EK/Q: i1= 1
40(17). EK/Q: g7= 1
41(16). EK/Q: h6= 1
42(15). EK/Q: h5= 4
43(14). EK/Q: e6= 4
44(13). EK/Q: e3= 5
45(12). EK/Q: g6= 7
46(11). EK/Q: h9= 7
47(10). EK/Q: g9= 6
48(9). EK/Q: h3= 6
49(8). EK/Q: b5= 7
50(7). EK/Q: i7= 8
51(6). EK/Q: g3= 8
52(5). EK/Q: h4= 8
53(4). EK/Q: d9= 9
54(3). EK/Q: b6= 9
55(2). EK/Q: e5= 9
56(1). EK/Q: g4= 9
57(0). EK/Q: i3= 9