解が見つからないと最初にゲトしてないだろうから、判ったんだろうね。