CREATE TABLE table_12048 ("Round" FLOAT, "Overall" FLOAT, "Player" CLOB, "Nationality" CLOB, "Club team" CLOB)

What is the average round for martin havlat?
SELECT AVG("Round") FROM table_12048 WHERE "Player" = 'martin havlat'
SELECT AVG("Round") FROM "table_12048" WHERE "Player" = 'martin havlat'