Found some UR eliminations, but it kept to be nasty:
xyz-wing to remove 5 from r3c4, a sashimi x-wing to remove 3 from r4c7, a kite removes 4 from r6c3. All of them already done by ncantoral.
- Code: Select all
*--------------------------------------------------------*
| 15 12 125 | 678 78 3 | 9 67 4 |
| 349 6 349 | 457 2 45 | 8 #137 #137 |
| 8 7 34 | 46 9 1 | 236 5 26 |
|---------------------+----------------+-----------------|
| 134 1348 7 | 48 5 2 | 136 *136 9 |
| 59 59 6 | 1 3 7 | 4 2 8 |
| 2 48 13 | 9 6 48 | 5 #137 #137 |
|---------------------+----------------+-----------------|
| 147 124 124 | 3 178 68 | 1267 9 5 |
| 13579 123 12359 | 57 4 569 | 1267 8 26 |
| 6 59 8 | 2 17 59 | 137 4 13 |
*--------------------------------------------------------*
Now these UR eliminations:
UR 26 in r38c79: r8c7<>6
UR 17 in r26c89: r6c9<>1 (note r6c9=1 -> r2c8=1)
UR 37 in same cells: r6c9<>3 (r6c9=3 -> r2c8=3)
Bringing me here after skysraper for 3:
- Code: Select all
*-------------------------------------------------------*
| 15 12 125 | 678 78 3 | 9 67 4 |
| 349 6 349 | 457 2 45 | 8 #17 13 |
| 8 7 34 | 46 9 1 | 236 5 26 |
|---------------------+----------------+----------------|
| 134 1348 7 | 48 5 2 | 16 136 9 |
| 59 59 6 | 1 3 7 | 4 2 8 |
| 2 48 13 | 9 6 48 | 5 13 7 |
|---------------------+----------------+----------------|
| 147 124 124 | 3 178 68 | 1267 9 5 |
| 13579 123 12359 | 57 4 569 | 127 8 26 |
| 6 59 8 | 2 #17 59 | 137 4 13 |
*-------------------------------------------------------*
Now also the 1 in r6c8 can be eliminated by the UR 17 in the same cells. (If you cant see it, reinsert 1 in r6c9 and 7 in r2c9 and r6c8.)
This gives an xyz-wing 124 to eliminate 2 from r8c2.
- Code: Select all
*----------------------------------------------------*
| 15 12 25 | 678 78 3 | 9 67 4 |
| 349 6 349 | 457 2 45 | 8 17 13 |
| 8 7 34 | 46 9 1 | 236 5 26 |
|-------------------+----------------+---------------|
| 34 348 7 | 48 5 2 | 16 16 9 |
|#59 #59 6 | 1 3 7 | 4 2 8 |
| 2 48 1 | 9 6 48 | 5 3 7 |
|-------------------+----------------+---------------|
| 147 124 24 | 3 178 68 | 1267 9 5 |
|#1379 13 2359 | 57 4 #569 | 127 8 26 |
| 6 #59 8 | 2 17 #59 | 137 4 13 |
*----------------------------------------------------*
59 MUG pattern eliminates 5 from r8c1.
- Code: Select all
*-------------------------------------------------------*
| 15 12 25 | 678 78 3 | 9 67 4 |
| 349 6 349 | 457 2 45 | 8 17 13 |
| 8 7 34 | 46 9 1 | 236 5 26 |
|---------------------+----------------+----------------|
| 34 348 7 | 48 5 2 | 16 16 9 |
| 59 59 6 | 1 3 7 | 4 2 8 |
| 2 48 1 | 9 6 48 | 5 3 7 |
|---------------------+----------------+----------------|
| 147 124 24 | 3 178 68 | 1267 9 5 |
| 1379 13 2359 | 57 4 569 | 127 8 26 |
| 6 59 8 | 2 17 59 | 137 4 13 |
*-------------------------------------------------------*
But now i didnt find something nice.
Lets try the local notation:
r8c1-7-r7c123-1-r7c5=1=r9c5-1-r9c79=1=r78c7-1-r4c7-6-r7c7=6=r7c6-6-r89c6-5-r8c4-7-r8c1
In my own:
r8c1=7 -> r7c123=124 -> r7c5<>1 -> r9c5=1 -> r78c7=1 -> r4c7=6 -> r7c6=6 -> r89c6=59 -> r8c4=7
A kite then solves it.