7万出せるならα7Ⅱが視野に入るビミョーな価格帯。ぶっちゃけオートフォーカス使えない新品レンズなら、アダプター込で50mm f1.8あたりのオールドレンズ探しても１万でお釣り出るので、そんな選択肢もアリだと思います。