List the ISBN of the books that cost 7.5 dollars.
ISBN refers to isbn13; books cost 7.5 dollars refers to price = 7.5
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