んな微妙なサイズ違いでださねーだろ、と思ったけど
どっちの情報も出てて、それを否定する情報もないから
現状判断できる限りだと②ってことなのね。

7.7って聞いてminiを思い浮かべる人は多いだろうな。