One very particular example of a congruence-simple semiring

The existence of a congruence-simple semiring S with non-constant multiplication such that 2 s = 3 t for all s , t ∈ S and S + S = S is proved and hence the most enigmatic class of congruence-simple semirings is not empty.