Once again, there is a nice solution without uniqueness assumption.
After the x-wings:
- Code: Select all
*--------------------------------------------------*
| 67 5 2 | 8 1 4 | 3 69 79 |
| 8 4 3 | 6 9 7 | 5 1 2 |
| 9 67 1 | 5 2 3 | 47 8 46 |
|----------------+----------------+----------------|
| 5 @12 9 | 14 7 8 | 246 #246 3 |
|-17 3 6 | 14 5 2 | 8 49 79 |
| 4 27 8 | 9 3 6 | 27 5 1 |
|----------------+----------------+----------------|
| 26 9 5 | 7 4 1 | 26 3 8 |
| 3 8 4 | 2 6 9 | 1 7 5 |
|@12 -16 7 | 3 8 5 | 9 #24 46 |
*--------------------------------------------------*
On c8 you have a strong link of 2 in r49c8 (one of these must be 2).
In the mean time r4c2 and r9c1 are both 1|2.
The 2 on c8 will force one of these two cells to be 1.
So any cell seeing r4c2 and r9c1 simultaneously must not be 1.
As a result, you can eliminate 1 from r5c1 and r9c2.
This technique is called a Y-wing/W-wing/semi-remote-pair (different people call it by different names
).