Как верно указывает
mari58, строго логическое решение существует. Доказательство:
SPOILER
1(55). EK/Q: e7= 9
2(54). EK/Q: h6= 9
3(53). EK/P: d1= 1
4(52). EK/Q: b2= 1
5(51). EK/H: g2= 9
--(51). Г3/H: (b8,c8,f8)=(1,4,9)-->b8<>5, b8<>7, c8<>5, f8<>5, f8<>8,
6(50). EK/Q: b7= 7
7(49). EK/Q: b9= 3
8(48). EK/V: g5= 3
9(47). EK/Q: i6= 2
10(46). EK/Q: g3= 2
11(45). EK/Q: b1= 2
12(44). EK/Q: c5= 2
13(43). EK/Q: a7= 2
14(42). EK/Q: e2= 2
15(41). EK/Q: f6= 3
16(40). EK/P: i2= 6
17(39). EK/Q: e1= 6
--(39). Кр: (d7/f7,d2/f2)=(5/x)-->i7<>5,
18(38). EK/Q: i8= 5
19(37). EK/Q: g8= 7
22(34). EK/Q: h1= 3
23(33). EK/Q: i1= 7
24(32). EK/Q: g9= 8
25(31). EK/V: g4= 6
26(30). EK/Q: f5= 6
--(30). Г2/Q: (d7,f7)=(5,8)-->f7<>1,
--(29). ЕР/V: (d7/f7,d2/f2)<>(5/8)-->d2<>8,f2<>8,
27(29). EK/H: h2= 8
28(28). EK/Q: h3= 4
--(28). ЕР/H: (c9/c7,h9/h7)<>(1/6)-->c9<>1,c9<>6,
--(28). Кр: (b5/b4,h5/h4)=(5/x)-->b3<>5,
--(28). Ц7: e9=1-->h9=6-->a9=5-->a3=6-->b3=9-->b8=4-->f8=1-->e9<>1
29(27). EK/Q: f8= 1
30(26). EK/Q: c7= 1
31(25). EK/Q: h9= 1
32(24). EK/Q: e4= 1
33(23). EK/Q: e9= 4
34(22). EK/Q: d6= 4
35(21). EK/Q: b5= 4
36(20). EK/Q: c8= 4
37(19). EK/Q: f2= 4
38(18). EK/Q: b4= 5
39(17). EK/Q: h5= 5
40(16). EK/Q: d2= 5
41(15). EK/Q: f7= 5
42(14). EK/Q: a9= 6
43(13). EK/Q: c9= 5
44(12). EK/Q: a3= 5
45(11). EK/Q: h7= 6
46(10). EK/Q: h4= 7
47(9). EK/Q: e5= 7
48(8). EK/Q: f3= 7
49(7). EK/Q: d7= 8
50(6). EK/Q: b6= 8
51(5). EK/Q: c6= 6
52(4). EK/Q: b3= 6
53(3). EK/Q: f4= 8
54(2). EK/Q: e3= 8
55(1). EK/Q: b8= 9
56(0). EK/Q: c3= 9
Но если это "несложный", то что такое "непростой"?