CREATE TABLE table_name_30 (launch_date VARCHAR(255), odds_of_winning VARCHAR(255), top_prize VARCHAR(255))
What is the launch date odds of winning 1 in 4.23 with a top prize of $15,000?
    
SQL: SELECT launch_date FROM table_name_30 WHERE odds_of_winning = "1 in 4.23" AND top_prize = "$15,000"