90308852744 ⇔ 98684027896
(Borho & Hoffmann in 1983)