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