数独卡住了只能假设吗