Строго логическое решение существует.
SPOILER
1(57). EK/Q: h7= 2
2(56). EK/Q: a4= 2
3(55). EK/Q: e9= 7
4(54). EK/Q: b7= 7
5(53). EK/V: f8= 2
6(52). EK/V: f5= 8
7(51). EK/V: f9= 5
8(50). EK/Q: f7= 1
....(50). Г4/Q: (d6,d5,e5,e4)=(1,3,5,9)-->d6<>4, d6<>6, d5<>4, d5<>6, e5<>4, e5<>6, e4<>4, e4<>6,
....(50). Г2/Q: (d3,d1)=(2,8)-->d3<>4, d3<>5, d3<>6, d1<>4, d1<>5,
9(49). EK/H: e1= 5
10(48). EK/Q: d5= 5
11(47). EK/V: d8= 6
....(47). Г4/Q: (g3,g2,i2,h1)=(1,5,7,8)-->g3<>4, g2<>4, i2<>2, i2<>4, h1<>4,
12(46). ЕдЦф: i2= 7
13(45). EK/Q: g6= 7
14(44). EK/Q: a5= 7
15(43). EK/H: b2= 2
16(42). EK/Q: d6= 3
17(41). EK/Q: e8= 3
18(40). EK/Q: b9= 3
19(39). EK/Q: a9= 1
20(38). EK/Q: g7= 3
21(37). EK/Q: i4= 3
....(37). Г2/Q: (a8,c8)=(5,8)-->a8<>4, a8<>9, c8<>4, c8<>9,
....(37). ЗГ/H: (a6/c6)=9-->b5<>9, c4<>9,
....(37). Ц5: b5=1? -->c3=1-->h1=1-->g4=1-->e5=1-->b5<>1
....(37). ЗГ/V: (c6/c4)=1-->c3<>1,
....(37). Ц6: g4=4? -->h9=4-->d7=4-->b8=4-->c6=4-->f4=4-->g4<>4
....(37). ЗГ/V: (g9/g8)=4-->h9<>4,
....(37). Г2/H: (c4,f4)=(4,6)-->c4<>1,
22(36). EK/Q: c6= 1
23(35). EK/Q: a6= 9
....(35). ЗГ/V: (a3/a2)=4-->b3<>4, c3<>4, c2<>4, b1<>4,
24(34). ЕдЦф: b1= 1
25(33). ЕдЦф: h1= 8
26(32). ЕдЦф: h9= 6
27(31). ЕдЦф: i9= 9
28(30). ЕдЦф: d9= 4
29(29). ЕдЦф: g9= 8
30(28). ЕдЦф: g8= 4
31(27). ЕдЦф: b8= 9
32(26). ЕдЦф: c7= 4
33(25). ЕдЦф: d7= 9
34(24). ЕдЦф: h6= 4
35(23). ЕдЦф: f6= 6
36(22). ЕдЦф: h5= 1
37(21). ЕдЦф: e5= 9
38(20). ЕдЦф: i5= 6
39(19). ЕдЦф: b5= 4
40(18). ЕдЦф: c4= 6
41(17). ЕдЦф: e4= 1
42(16). ЕдЦф: f4= 4
43(15). ЕдЦф: g4= 9
44(14). ЕдЦф: b3= 6
45(13). ЕдЦф: e3= 4
46(12). ЕдЦф: i3= 2
47(11). ЕдЦф: d3= 8
48(10). ЕдЦф: a3= 5
49(9). ЕдЦф: a8= 8
50(8). ЕдЦф: c8= 5
51(7). ЕдЦф: c3= 9
52(6). ЕдЦф: g3= 1
53(5). ЕдЦф: a2= 4
54(4). ЕдЦф: c2= 8
55(3). ЕдЦф: e2= 6
56(2). ЕдЦф: g2= 5
57(1). ЕдЦф: d1= 2
58(0). ЕдЦф: i1= 4