Does anyone know if 1B tokens is enough to solve sudoku puzzles?