Table schema:
CREATE TABLE table_name_13 (laps INTEGER, class VARCHAR, entrant VARCHAR)

Question: What was the highest amount of laps when the class was v8 and the entrant was diet-coke racing?
SQL: SELECT MAX(laps) FROM table_name_13 WHERE class = "v8" AND entrant = "diet-coke racing"