r7c1等于2

r5c1的86、r4c3的82跟r7c3的28形成xy-wing。

5宫6宫4个4和4个7，都是共轭，r5c58必然只能有4和7，所以r5c8<>8，下一步，如果r5c6=5， 则r456c5 和r456c8 出现拓展UR, 所以 r5c6<>5, ==> > r5c2=5.

G1是2。如果是6，e1是8；g3是2，d3也是8，矛盾。

这个软件能分享一下链接吗