数独有无解的时候吗?