スマニコリ、５月３０日の数独の問題

これ難しすぎない？

たぶん初見４０分くらいかかった記憶があるんだよね。いま、いい感じに記憶が飛んでたのでやり直したら２４分。難易度「たいへん」の僕の自己目標は初見１５分を切ることで、それはほぼ達成できるはずなのだが、これだけ難易度がおかしい。２０１９年１１月にもけっこうきついのがあったけどあれは２０分かからない。これなんで難易度「アゼン」じゃないの？

僕の解き方を以下に書いておく。

１）とりあえず適当に埋まった感じのところまで進める。

２）可能性を全部メモる。

３）下から二行目の真ん中が「５」と「７」であることを確認する。

４）「７」を仮定する。すると、まず右側ブロックの都合から、同行左側ブロックの空きマスが「３」と「５」でロックされる。

５）上から二行目を見ると、４）の仮定のせいで「７」が入るのが左端しかなくなる。

６）左端に「１」と「９」しか入らないマスが３つ出てきて詰む。よって下から二行目の真ん中は「５」で確定。

７）後は適当にやってれば勝てる。

こんな感じなんだけど、４）のところの推論が跳びすぎててわけわかんねえ。なにより解法が構成的でないのが気に入らない。

これなにか見落としてる気がするんだけど、なにを見落としてるんだろう……？　誰かわかるひと教えてくれ。