Как верно указывает
Wolfart, строго логическое решение существует. Доказательство:
SPOILER
1(56). EK/Q: d9= 3
2(55). EK/Q: e6= 4
3(54). EK/Q: b6= 5
4(53). EK/P: b1= 7
5(52). EK/P: b3= 4
6(51). EK/Q: c9= 4
7(50). EK/Q: h2= 4
8(49). EK/P: b2= 6
--(49). Г3/Q: (e9,f9,e7)=(1,7,9)-->e9<>5, e9<>6, f9<>5, f9<>6, e7<>5, e7<>6,
--(49). Г3/Q: (g3,h3,i2)=(2,3,7)-->g3<>8, h3<>8, i2<>5,
9(48). EK/P: g3= 3
--(48). Г3/H: (a8,c8,h8)=(2,3,8)-->a8<>5, c8<>6,
10(47). EK/Q: c7= 6
--(47). Г2/Q: (a9,a7)=(5,7)-->a9<>2, a9<>8,
--(47). Кр: (a9/a7,h9/h7)=(5/x)-->g9<>5,i9<>5,i7<>5,
11(46). EK/P: i7= 3
12(45). EK/Q: c8= 3
13(44). EK/Q: b5= 3
14(43). EK/Q: a5= 2
15(42). EK/Q: b9= 2
16(41). EK/Q: b7= 1
17(40). EK/Q: h8= 2
18(39). EK/Q: i2= 2
19(38). EK/Q: e3= 2
20(37). EK/Q: d4= 2
21(36). EK/Q: h6= 3
22(35). EK/Q: h3= 7
23(34). EK/Q: a8= 8
24(33). EK/Q: c2= 8
25(32). EK/Q: f3= 8
26(31). EK/Q: e5= 8
27(30). EK/Q: i6= 8
28(29). EK/Q: i4= 7
29(28). EK/Q: g4= 5
30(27). EK/Q: i1= 5
31(26). EK/Q: f2= 5
32(25). EK/Q: e8= 5
33(24). EK/Q: f8= 6
34(23). EK/Q: e4= 6
35(22). EK/Q: g5= 6
36(21). EK/Q: i9= 6
37(20). EK/Q: d2= 7
38(19). EK/Q: g1= 8
39(18). EK/Q: g2= 1
40(17). EK/Q: h9= 8
41(16). EK/Q: h7= 5
42(15). EK/Q: a9= 5
43(14). EK/Q: a7= 7
44(13). EK/Q: g9= 9
45(12). EK/Q: e7= 9
46(11). EK/Q: h5= 9
47(10). EK/Q: a2= 9
48(9). EK/Q: d1= 9
49(8). EK/Q: e1= 1
50(7). EK/Q: f9= 1
51(6). EK/Q: d6= 1
52(5). EK/Q: c5= 1
53(4). EK/Q: e9= 7
54(3). EK/Q: c6= 7
55(2). EK/Q: f5= 7
56(1). EK/Q: c4= 9
57(0). EK/Q: f6= 9