数独做不下去?要纯推理.