The New Sudoku Players' Forum

[denis_berthier]

.

Code: Select all

+-------+-------+-------+
! . 2 . ! . . 6 ! . 8 9 !
! . . . ! 1 . 9 ! 2 . 6 !
! . . . ! . . . ! . 5 . !
+-------+-------+-------+
! . . . ! . 1 8 ! . 9 . !
! . . . ! 9 . 2 ! . . . !
! . . 1 ! 5 6 . ! . . . !
+-------+-------+-------+
! 3 . . ! . . . ! 8 6 . !
! 7 . 6 ! . . . ! 9 1 . !
! . . 5 ! 6 9 . ! . . . !
+-------+-------+-------+
.2...6.89...1.92.6.......5.....18.9....9.2.....156....3.....86.7.6...91...569....;1893;298393
SER = 10.4

Code: Select all

Resolution state after Singles and whips[1]:
   +----------------------+----------------------+----------------------+
   ! 145    2      347    ! 347    3457   6      ! 1347   8      9      !
   ! 458    3578   3478   ! 1      34578  9      ! 2      347    6      !
   ! 14689  136789 34789  ! 23478  23478  347    ! 1347   5      1347   !
   +----------------------+----------------------+----------------------+
   ! 2456   3567   2347   ! 347    1      8      ! 34567  9      2347   !
   ! 4568   35678  3478   ! 9      347    2      ! 134567 347    13478  !
   ! 2489   3789   1      ! 5      6      347    ! 347    2347   23478  !
   +----------------------+----------------------+----------------------+
   ! 3      19     29     ! 247    247    1457   ! 8      6      2457   !
   ! 7      4      6      ! 238    238    35     ! 9      1      235    !
   ! 128    18     5      ! 6      9      1347   ! 347    2347   2347   !
   +----------------------+----------------------+----------------------+
199 candidates.

[yzfwsf]

The final implementation of the remote locked triplet:

Hidden Text: Show

Code: Select all

Locked Candidates 1 (Pointing): 8 in b8 => r8c2<>8
Naked Single: r8c2=4
Locked Candidates 1 (Pointing): 5 in b2 => r7c5<>5,r8c5<>5
Locked Candidates 2 (Claiming): 5 in c7 => r4c9<>5,r5c9<>5
Hidden Pair: 56 in r4c7,r5c7 => r4c7<>347,r5c7<>1347
Hidden Single: 1 in r5 => r5c9=1
Hidden Single: 8 in c9 => r6c9=8
UR Forcing Chain: Each true guardian of UR 28{r38c45} will all lead to: r3c12,r1c7,r9c1<>1,r1c1<>4,r1c1<>5
3r3c4 - (3=471)r3c679 - 1r1c7 = 1r1c1
4r3c4 - (4=371)r3c679 - 1r1c7 = 1r1c1
7r3c4 - (7=341)r3c679 - 1r1c7 = 1r1c1
3r3c5 - (3=471)r3c679 - 1r1c7 = 1r1c1
4r3c5 - (4=371)r3c679 - 1r1c7 = 1r1c1
7r3c5 - (7=341)r3c679 - 1r1c7 = 1r1c1
3r8c4 - (3=472)r147c4 - (2=9)r7c3 - (9=345781)b1p134569
3r8c5 - (3=14572)b8p12369 - (2=9)r7c3 - (9=345781)b1p134569
Hidden Single: 1 in r1 => r1c1=1
Hidden Single: 5 in r1 => r1c5=5
Hidden Single: 1 in r3 => r3c7=1
Whip[4]: Supposing 2r4c9 will result in 2 to disappear in Box 7 => r4c9<>2
2r4c9 - 2r6(c8=c1) - 9r6(c1=c2) - 9r7(c2=c3) - 2b7(p3=.)
Hidden Single: 2 in b6 => r6c8=2
Triplet Oddagon Type 1: 347r25c58,r1c47,r3c69,r4c49,r6c67 => r2c5<>347
Naked Single: r2c5=8
Hidden Single: 8 in r8 => r8c4=8
Hidden Triple: 689 in r3c1,r3c2,r3c3 => r3c1<>4,r3c2<>37,r3c3<>347
Triplet Oddagon + Triplet ERI: 347r25c58,r1c47,r3c69,r4c49,r6c67 \ 347b1 => r2c5<>347
Naked Single: r5c3=8
Naked Single: r3c3=9
Hidden Single: 9 in r7 => r7c2=9
Hidden Single: 9 in r6 => r6c1=9
Hidden Single: 1 in r7 => r7c6=1
Hidden Single: 5 in r7 => r7c9=5
Hidden Single: 5 in r8 => r8c6=5
Hidden Single: 1 in r9 => r9c2=1
Hidden Single: 8 in r9 => r9c1=8
Full House: r7c3=2
Hidden Single: 8 in r3 => r3c2=8
Hidden Single: 6 in r3 => r3c1=6
Hidden Single: 2 in r4 => r4c1=2
Hidden Single: 2 in r9 => r9c9=2
Hidden Single: 2 in r8 => r8c5=2
Full House: r8c9=3
Hidden Single: 2 in r3 => r3c4=2
Hidden Single: 3 in r9 => r9c6=3
Hidden Single: 3 in r3 => r3c5=3
Hidden Single: 3 in c4 => r4c4=3
Skyscraper : 4 in r3c9,r6c7 connected by r36c6 => r1c7,r4c9 <> 4
stte


[marek stefanik]

Code: Select all

.----------------------.--------------------.------------------.
| 145    2       347   | 347    3457   6    | 1347  8     9    |
| 458    3578    3478  | 1      34578  9    | 2     347   6    |
| 14689  136789  34789 | 23478  23478  347  | 1347  5     347  |
:----------------------+--------------------+------------------:
| 2456   3567   a2347  | 347    1      8    | 56    9     2347 |
| 4568   35678   3478  | 9      347    2    | 56    347   1    |
|e49–2  d379     1     | 5      6      347  | 347   2347  8    |
:----------------------+--------------------+------------------:
| 3     c19     b29    | 247    247    1457 | 8     6     2457 |
| 7      4       6     | 238    238    35   | 9     1     235  |
| 128    18      5     | 6      9      1347 | 347   2347  2347 |
'----------------------'--------------------'------------------'

2r4c3 = (2–9)r7c3 = 9r7c2 – 9r6c2 = 9r6c1 => –2r6c1

Code: Select all

.----------------------.--------------------.-----------------.
| 145    2       347   | 347    3457   6    | 1347  8    9    |
| 458    3578    3478  | 1      34578  9    | 2     347  6    |
|g4689–1g36789–1f34789 | 23478  23478 #347  |a#347+1 5  #347  |
:----------------------+--------------------+-----------------:
| 2456   3567    2347  | 347    1      8    | 56    9   #347  |
| 4568   35678   3478  | 9      347    2    | 56    347  1    |
| 49     379     1     | 5      6     #347  |#347   2    8    |
:----------------------+--------------------+-----------------:
| 3     d19     e29    | 247    247    1457 | 8     6   *2457 |
| 7      4       6     | 238    238    35   | 9     1   *235  |
|c128   c18      5     | 6      9    b#347+1|*347  *347 *2347 |
'----------------------'--------------------'-----------------'

impossible pattern 347# + b9p36789, internals 1r3c7, 1r9c6
impossibility proof: the digit in r9c6 would in b9 be forced into c9, then in r3 into c7, thus leaving the remaining #-marked cells as a bivalue oddagon
1r3c7 = 1r9c6 – 1r9c12 = (1–9)r7c2 = 9r7c3 – 9r3c3 = 69r3c12 => –1r3c12

The end is almost the same as in yzfwsf's solution.

Hidden Text: Show

Code: Select all

.--------------------.--------------------.----------------.
| 1     2      347   |#347    5      6    |#347  8    9    |
| 458   3578   3478  | 1     #8–347  9    | 2  A#347  6    |
| 4689  36789  34789 | 23478  23478 #347  | 1    5   #347  |
:--------------------+--------------------+----------------:
| 2456  3567   2347  |#347    1      8    | 56   9   #347  |
| 4568  35678  3478  | 9    A#347    2    | 56 A#347  1    |
| 49    379    1     | 5      6     #347  |#347  2    8    |
:--------------------+--------------------+----------------:
| 3     19     29    | 247    247    1457 | 8    6    2457 |
| 7     4      6     | 238    238    35   | 9    1    235  |
| 28    18     5     | 6      9      1347 | 347  347  2347 |
'--------------------'--------------------'----------------'

TH 347# => –347r2c5, RT 347A..

Code: Select all

.-------------------.------------------.----------------.
| 1     2     *347  | 347   5     6    | 347  8    9    |
|*45   *357   *347  | 1     8     9    | 2   A347  6    |
| 689   689    89   | 2347  2347  347  | 1    5    347  |
:-------------------+------------------+----------------:
| 2456  3567   2347 | 347   1     8    | 56   9    347  |
| 4568  35678  8–347| 9    A347   2    | 56  A347  1    |
| 49    379    1    | 5     6     347  | 347  2    8    |
:-------------------+------------------+----------------:
| 3     19     29   | 247   247   1457 | 8    6    2457 |
| 7     4      6    | 8     23    35   | 9    1    235  |
| 28    18     5    | 6     9     1347 | 347  347  2347 |
'-------------------'------------------'----------------'

347: b1A \ r25c3 => –347r5c3

Code: Select all

.---------------.------------.--------------.
| 1   2     347 | 47  5   6  | 347  8    9  |
| 45  57    347 | 1   8   9  | 2    347  6  |
| 6   8     9   | 2   3  #47 | 1    5   #47 |
:---------------+------------+--------------:
| 2   56    47  | 3   1   8  | 56   9   #47 |
| 45  3567  8   | 9   47  2  | 56   347  1  |
| 9   37    1   | 5   6  #47 |#3–47 2    8  |
:---------------+------------+--------------:
| 3   9     2   | 47  47  1  | 8    6    5  |
| 7   4     6   | 8   2   5  | 9    1    3  |
| 8   1     5   | 6   9   3  | 47   47   2  |
'---------------'------------'--------------'

bivalue oddagon 47# => –47r6c7, stte

Triplet Oddagon + Triplet ERI: 347r25c58,r1c47,r3c69,r4c49,r6c67 \ 347b1 => r2c5<>347

Nice, but you have the direct TH eliminations from earlier, instead of the new ones (347r5c3).
I would suggest a different separator between the TH and the remaining base sets, since \ is used to separate base and cover sets.
Also, for someone unfamiliar with TH it would be better to have the RTs/SISs mentioned explicitly.

Marek

[eleven]

Alternative to the UR step with 8 internals:

Code: Select all

+--------------------------+-------------------------+-------------------------+
| a145     2        347    | 347     3457    6       | 1347    8       9       |
| d458    d3578    d3478   | 1      *34578   9       | 2       347     6       |
|eb14689 eb136789 eb34789  |#23478  #23478   347     | 1347    5       347     |
+--------------------------+-------------------------+-------------------------+
|  2456    3567     2347   | 347     1       8       | 56      9       2347    |
|  4568    35678    3478   | 9       347     2       | 56      347     1       |
|  249     379      1      | 5       6       347     | 347     2347    8       |
+--------------------------+-------------------------+-------------------------+
|  3       19      c29     |*247    *247     1457    | 8       6       2457    |
|  7       4        6      |#238    #238     35      | 9       1       235     |
|  128     18       5      | 6       9       1347    | 347     2347    2347    |
+--------------------------+-------------------------+-------------------------+

UR 28 r38c45 with externals 8r2c5 = 2r7c45
1r1c1 = 169r3c123 - (9=2)r7c3 - r7c45 == 8r2c5 - r2c13 = (689-1)r3c123 = 1r1c1 => 1r1c1

[Cenoman]

UR 28 r38c45 with externals 8r2c5 = 2r7c45
1r1c1 = 169r3c123 - (9=2)r7c3 - r7c45 == 8r2c5 - r2c13 = (689-1)r3c123 = 1r1c1 => 1r1c1

...or UR 28 r38c45 with externals 8r3c12 = 2r7c45
(69)r3c12 = r3c3 - (9=2)r7c3 - (2)r7c45 == (86)r3c12 => -14r3c1,-167 r3c2

[yzfwsf]

I would suggest a different separator between the TH and the remaining base sets, since \ is used to separate base and cover sets.
Also, for someone unfamiliar with TH it would be better to have the RTs/SISs mentioned explicitly.

Marek

Like this?

Triplet Oddagon(RT) + Triplet ERI: 347r25c58,r1c47,r3c69,r4c49,r6c67 + 347b1 => r2c5<>347

[denis_berthier]

.
Thanks for your solutions.
Mine uses several impossible patterns, no assumption of uniqueness, and only very short chains.

hidden-pairs-in-a-column: c7{n5 n6}{r4 r5} ==> r5c7≠7, r5c7≠4, r5c7≠3, r5c7≠1, r4c7≠7, r4c7≠4, r4c7≠3
singles ==> r5c9=1, r6c9=8

The 4 patterns that will be used:

Code: Select all

OR4-anti-tridagon[12] for digits 3, 4 and 7 in blocks:
         b2, with cells (marked #): r1c4, r2c5, r3c6
         b3, with cells (marked #): r1c7, r2c8, r3c9
         b5, with cells (marked #): r4c4, r5c5, r6c6
         b6, with cells (marked #): r4c9, r5c8, r6c7
 with 4 guardians (in cells marked @): n1r1c7 n5r2c5 n8r2c5 n2r4c9
    +-------------------------+-------------------------+-------------------------+
    ! 145     2       347     ! 347#    3457    6       ! 1347#@  8       9       !
    ! 458     3578    3478    ! 1       34578#@ 9       ! 2       347#    6       !
    ! 14689   136789  34789   ! 23478   23478   347#    ! 1347    5       347#    !
    +-------------------------+-------------------------+-------------------------+
    ! 2456    3567    2347    ! 347#    1       8       ! 56      9       2347#@  !
    ! 4568    35678   3478    ! 9       347#    2       ! 56      347#    1       !
    ! 249     379     1       ! 5       6       347#    ! 347#    2347    8       !
    +-------------------------+-------------------------+-------------------------+
    ! 3       19      29      ! 247     247     1457    ! 8       6       2457    !
    ! 7       4       6       ! 238     238     35      ! 9       1       235     !
    ! 128     18      5       ! 6       9       1347    ! 347     2347    2347    !
    +-------------------------+-------------------------+-------------------------+

 EL14c30-OR5-relation for digits: 3, 4 and 7
    in cells (marked #): (r2c8 r3c5 r3c6 r3c9 r1c3 r1c4 r1c7 r6c6 r6c7 r4c4 r4c9 r5c3 r5c5 r5c8)
    with 5 guardians (in cells marked @) : n2r3c5 n8r3c5 n1r1c7 n2r4c9 n8r5c3
    +-------------------------+-------------------------+-------------------------+
    ! 145     2       347#    ! 347#    3457    6       ! 1347#@  8       9       !
    ! 458     3578    3478    ! 1       34578   9       ! 2       347#    6       !
    ! 14689   136789  34789   ! 23478   23478#@ 347#    ! 1347    5       347#    !
    +-------------------------+-------------------------+-------------------------+
    ! 2456    3567    2347    ! 347#    1       8       ! 56      9       2347#@  !
    ! 4568    35678   3478#@  ! 9       347#    2       ! 56      347#    1       !
    ! 249     379     1       ! 5       6       347#    ! 347#    2347    8       !
    +-------------------------+-------------------------+-------------------------+
    ! 3       19      29      ! 247     247     1457    ! 8       6       2457    !
    ! 7       4       6       ! 238     238     35      ! 9       1       235     !
    ! 128     18      5       ! 6       9       1347    ! 347     2347    2347    !
    +-------------------------+-------------------------+-------------------------+

 EL14c159-OR6-relation for digits: 3, 4 and 7
    in cells (marked #): (r4c4 r4c9 r6c6 r6c7 r5c3 r5c5 r5c8 r3c4 r3c9 r2c3 r2c8 r1c3 r1c4 r1c7)
    with 6 guardians (in cells marked @) : n2r4c9 n8r5c3 n2r3c4 n8r3c4 n8r2c3 n1r1c7
    +-------------------------+-------------------------+-------------------------+
    ! 145     2       347#    ! 347#    3457    6       ! 1347#@  8       9       !
    ! 458     3578    3478#@  ! 1       34578   9       ! 2       347#    6       !
    ! 14689   136789  34789   ! 23478#@ 23478   347     ! 1347    5       347#    !
    +-------------------------+-------------------------+-------------------------+
    ! 2456    3567    2347    ! 347#    1       8       ! 56      9       2347#@  !
    ! 4568    35678   3478#@  ! 9       347#    2       ! 56      347#    1       !
    ! 249     379     1       ! 5       6       347#    ! 347#    2347    8       !
    +-------------------------+-------------------------+-------------------------+
    ! 3       19      29      ! 247     247     1457    ! 8       6       2457    !
    ! 7       4       6       ! 238     238     35      ! 9       1       235     !
    ! 128     18      5       ! 6       9       1347    ! 347     2347    2347    !
    +-------------------------+-------------------------+-------------------------+

 EL10c6s-OR3-relation for digits: 3, 4 and 7
    in cells (marked #): (r9c6 r9c7 r9c8 r5c8 r6c6 r6c7 r2c8 r3c6 r3c9 r3c7)
    with 3 guardians (in cells marked @) : n1r9c6 n2r9c8 n1r3c7
    +----------------------+----------------------+----------------------+
    ! 145    2      347    ! 347    3457   6      ! 1347   8      9      !
    ! 458    3578   3478   ! 1      34578  9      ! 2      347#   6      !
    ! 14689  136789 34789  ! 23478  23478  347#   ! 1347#@ 5      347#   !
    +----------------------+----------------------+----------------------+
    ! 2456   3567   2347   ! 347    1      8      ! 56     9      2347   !
    ! 4568   35678  3478   ! 9      347    2      ! 56     347#   1      !
    ! 249    379    1      ! 5      6      347#   ! 347#   2347   8      !
    +----------------------+----------------------+----------------------+
    ! 3      19     29     ! 247    247    1457   ! 8      6      2457   !
    ! 7      4      6      ! 238    238    35     ! 9      1      235    !
    ! 128    18     5      ! 6      9      1347#@ ! 347#   2347#@ 2347   !
    +----------------------+----------------------+----------------------+

biv-chain[3]: r6n9{c1 c2} - b7n9{r7c2 r7c3} - b7n2{r7c3 r9c1} ==> r6c1≠2
hidden-single-in-a-row ==> r6c8=2

After these first eliminations, the numbers of guardians are reduced:

Code: Select all

    +----------------------+----------------------+----------------------+
    ! 145    2      347    ! 347    3457   6      ! 1347   8      9      !
    ! 458    3578   3478   ! 1      34578  9      ! 2      347    6      !
    ! 14689  136789 34789  ! 23478  23478  347    ! 1347   5      347    !
    +----------------------+----------------------+----------------------+
    ! 2456   3567   2347   ! 347    1      8      ! 56     9      347    !
    ! 4568   35678  3478   ! 9      347    2      ! 56     347    1      !
    ! 49     379    1      ! 5      6      347    ! 347    2      8      !
    +----------------------+----------------------+----------------------+
    ! 3      19     29     ! 247    247    1457   ! 8      6      2457   !
    ! 7      4      6      ! 238    238    35     ! 9      1      235    !
    ! 128    18     5      ! 6      9      1347   ! 347    347    2347   !
    +----------------------+----------------------+----------------------+
 At least one candidate of a previous EL10c6s-OR3-relation between candidates n1r9c6 n2r9c8 n1r3c7 has just been eliminated.
 There remains an EL10c6s-OR2-relation between candidates: n1r9c6 n1r3c7

 At least one candidate of a previous Trid-OR4-relation between candidates n1r1c7 n5r2c5 n8r2c5 n2r4c9 has just been eliminated.
 There remains a Trid-OR3-relation between candidates: n1r1c7 n5r2c5 n8r2c5

 At least one candidate of a previous EL14c30-OR5-relation between candidates n2r3c5 n8r3c5 n1r1c7 n2r4c9 n8r5c3 has just been eliminated.
 There remains an EL14c30-OR4-relation between candidates: n2r3c5 n8r3c5 n1r1c7 n8r5c3

 At least one candidate of a previous EL14c159-OR6-relation between candidates n2r4c9 n8r5c3 n2r3c4 n8r3c4 n8r2c3 n1r1c7 has just been eliminated.
 There remains an EL14c159-OR5-relation between candidates: n8r5c3 n2r3c4 n8r3c4 n8r2c3 n1r1c7

EL10c6s-OR2-whip[2]: OR2{{n1r3c7 | n1r9c6}} - c1n1{r9 .} ==> r3c2≠1
whip[1]: c2n1{r9 .} ==> r9c1≠1
z-chain[3]: r7n5{c9 c6} - c6n1{r7 r9} - r9n4{c6 .} ==> r7c9≠4
whip[1]: b9n4{r9c9 .} ==> r9c6≠4
z-chain[3]: r7n5{c9 c6} - c6n1{r7 r9} - r9n7{c6 .} ==> r7c9≠7
whip[1]: b9n7{r9c9 .} ==> r9c6≠7
z-chain[4]: r9c1{n8 n2} - r7c3{n2 n9} - r3n9{c3 c2} - r3n6{c2 .} ==> r3c1≠8
EL10c6s-OR2-whip[5]: OR2{{n1r3c7 | n1r9c6}} - c2n1{r9 r7} - b7n9{r7c2 r7c3} - r3n9{c3 c2} - r3n6{c2 .} ==> r3c1≠1
singles ==> r1c1=1, r1c5=5, r3c7=1

Code: Select all

    +-------------------+-------------------+-------------------+
    ! 1     2     347   ! 347   5     6     ! 347   8     9     !
    ! 458   3578  3478  ! 1     3478  9     ! 2     347   6     !
    ! 469   36789 34789 ! 23478 23478 347   ! 1     5     347   !
    +-------------------+-------------------+-------------------+
    ! 2456  3567  2347  ! 347   1     8     ! 56    9     347   !
    ! 4568  35678 3478  ! 9     347   2     ! 56    347   1     !
    ! 49    379   1     ! 5     6     347   ! 347   2     8     !
    +-------------------+-------------------+-------------------+
    ! 3     19    29    ! 247   247   1457  ! 8     6     25    !
    ! 7     4     6     ! 238   238   35    ! 9     1     235   !
    ! 28    18    5     ! 6     9     13    ! 347   347   2347  !
    +-------------------+-------------------+-------------------+
 At least one candidate of a previous Trid-OR3-relation between candidates n1r1c7 n5r2c5 n8r2c5 has just been eliminated.
 There remains a Trid-OR1-relation between candidates: n8r2c5

Trid-ORk-relation with only one candidate => r2c5=8
hidden-single-in-a-column ==> r8c4=8

Code: Select all

    +-------------------+-------------------+-------------------+
    ! 1     2     347   ! 347   5     6     ! 347   8     9     !
    ! 45    357   347   ! 1     8     9     ! 2     347   6     !
    ! 469   36789 34789 ! 2347  2347  347   ! 1     5     347   !
    +-------------------+-------------------+-------------------+
    ! 2456  3567  2347  ! 347   1     8     ! 56    9     347   !
    ! 4568  35678 3478  ! 9     347   2     ! 56    347   1     !
    ! 49    379   1     ! 5     6     347   ! 347   2     8     !
    +-------------------+-------------------+-------------------+
    ! 3     19    29    ! 247   247   1457  ! 8     6     25    !
    ! 7     4     6     ! 8     23    35    ! 9     1     235   !
    ! 28    18    5     ! 6     9     13    ! 347   347   2347  !
    +-------------------+-------------------+-------------------+
 At least one candidate of a previous EL14c30-OR4-relation between candidates n2r3c5 n8r3c5 n1r1c7 n8r5c3 has just been eliminated.
 There remains an EL14c30-OR2-relation between candidates: n2r3c5 n8r5c3

 At least one candidate of a previous EL14c159-OR5-relation between candidates n8r5c3 n2r3c4 n8r3c4 n8r2c3 n1r1c7 has just been eliminated.
 There remains an EL14c159-OR2-relation between candidates: n8r5c3 n2r3c4

hidden-triplets-in-a-block: b1{n6 n8 n9}{r3c1 r3c2 r3c3} ==> r3c3≠7, r3c3≠4, r3c3≠3, r3c2≠7, r3c2≠3, r3c1≠4
EL14c159-OR2-whip[3]: OR2{{n2r3c4 | n8r5c3}} - r3c3{n8 n9} - r7c3{n9 .} ==> r7c4≠2
hidden-single-in-a-column ==> r3c4=2

Code: Select all

    +-------------------+-------------------+-------------------+
    ! 1     2     347   ! 347   5     6     ! 347   8     9     !
    ! 45    357   347   ! 1     8     9     ! 2     347   6     !
    ! 69    689   89    ! 2     347   347   ! 1     5     347   !
    +-------------------+-------------------+-------------------+
    ! 2456  3567  2347  ! 347   1     8     ! 56    9     347   !
    ! 4568  35678 3478  ! 9     347   2     ! 56    347   1     !
    ! 49    379   1     ! 5     6     347   ! 347   2     8     !
    +-------------------+-------------------+-------------------+
    ! 3     19    29    ! 47    247   1457  ! 8     6     25    !
    ! 7     4     6     ! 8     23    35    ! 9     1     235   !
    ! 28    18    5     ! 6     9     13    ! 347   347   2347  !
    +-------------------+-------------------+-------------------+
 At least one candidate of a previous EL14c30-OR2-relation between candidates n2r3c5 n8r5c3 has just been eliminated.
 There remains an EL14c30-OR1-relation between candidates: n8r5c3

EL14c30-ORk-relation with only one candidate => r5c3=8
S2-tte