CREATE TABLE table_name_85 (score VARCHAR(255), third_place VARCHAR(255), runner_up VARCHAR(255))
Name the score for henri leconte and runner-up of michael stich
    
SQL: SELECT score FROM table_name_85 WHERE third_place = "henri leconte" AND runner_up = "michael stich"