user: Question: What is the name of the game with odds of winning 1 in 4.23 with a top prize of $15,000?
Columns: ['Game Name', 'Price', 'Top Prize', 'Launch Date', 'Odds of Winning']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ["Lucky 7's", '$1', '$777', 'October 12, 2005', '1 in 4.73']
SQL:

assistant: SELECT "Game Name" FROM "Table" WHERE "Odds of Winning" = '1 in 4.23' AND "Top Prize" = '$15,000';