Sokal da intenta encontrar el mayor entero positivo $n$ tal que si $n$ se convierte a base 7, entonces se ve como el doble de su valor en base 10. $156$ es un número así porque $(156)_{10}$ = $(312)_7$ y 312 = 2 $\times$ 1 56. Encuentre el número de Sokal da.