Write SQL query to solve given problem: List the ISBN of the books that cost 7.5 dollars.. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT T1.isbn13 FROM book AS T1 INNER JOIN order_line AS T2 ON T1.book_id = T2.book_id WHERE T2.price = 7.5