7000석 × 9만원 = 6.3억

6.3억짜리 도서관