Untersucht werden müssen Zahlen der Formen 5a*7b*8c, 2*5a*7b*8c, 3*5a*7b*8c, 4*5a*7b*8c oder 2*5a*6*7b*8c. Die entstehende Zahl darf keine Null, und höchstens eine durch 3 teilbare Ziffer besitzen. Maximales a+b+c, bei dem das 0er-Kriterium nicht zugetroffen hat, war 152. Untersucht wurden alle Zahlen der Formen mit a+b+c<=1000. Nötig waren nur 60 Stellen.