CREATE TABLE table_name_23 (score INT, player VARCHAR)

What is the score of Tommy Bolt
SELECT MIN(score) FROM table_name_23 WHERE player = "tommy bolt"
SELECT MIN("score") FROM "table_name_23" WHERE "player" = "tommy bolt"