Как верно указывает
Veterok, строго логическое решение существует. Доказательство:
SPOILER
1(53). EK/Q: g7= 3
2(52). EK/V: g1= 2
3(51). EK/Q: d2= 2
--(51). ЗГ/H: (a1,c1)=9--> a3<>9,b3<>9,b2<>9,c2<>9,
4(50). EK/P: b3= 4
5(49). EK/Q: f2= 4
6(48). EK/Q: d4= 4
7(47). EK/Q: d6= 3
8(46). EK/Q: c4= 3
9(45). EK/Q: b2= 3
10(44). EK/Q: a9= 3
11(43). EK/Q: a8= 4
12(42). EK/Q: h9= 4
13(41). EK/Q: c8= 8
14(40). EK/Q: d5= 8
15(39). EK/Q: e4= 7
16(38). EK/Q: i6= 8
17(37). EK/Q: g6= 6
18(36). EK/Q: a3= 8
19(35). EK/Q: h2= 8
20(34). EK/V: f6= 1
21(33). EK/V: h8= 6
22(32). EK/H: i8= 5
23(31). EK/H: b8= 1
24(30). EK/H: g8= 7
25(29). EK/Q: i3= 7
26(28). EK/Q: i2= 6
27(27). EK/Q: c1= 6
28(26). EK/Q: d3= 6
29(25). EK/Q: f3= 5
30(24). EK/Q: e6= 5
31(23). EK/Q: f4= 9
32(22). EK/Q: h5= 9
33(21). EK/Q: h4= 5
34(20). EK/Q: i4= 2
35(19). EK/Q: h7= 2
36(18). EK/Q: b9= 2
37(17). EK/Q: a6= 2
38(16). EK/Q: b6= 9
39(15). EK/Q: a1= 9
40(14). EK/Q: c2= 1
41(13). EK/Q: a5= 1
42(12). EK/Q: d1= 1
43(11). EK/Q: e9= 1
44(10). EK/Q: i7= 1
45(9). EK/Q: c5= 5
46(8). EK/Q: a7= 5
47(7). EK/Q: d9= 5
48(6). EK/Q: d7= 7
49(5). EK/Q: c9= 7
50(4). EK/Q: b5= 7
51(3). EK/Q: c7= 9
52(2). EK/Q: i9= 9
53(1). EK/Q: e2= 9
54(0). EK/Q: g3= 9