CREATE TABLE table_name_85 (score VARCHAR, third_place VARCHAR, runner_up VARCHAR)

Name the score for henri leconte and runner-up of michael stich
SELECT score FROM table_name_85 WHERE third_place = "henri leconte" AND runner_up = "michael stich"
SELECT "score" FROM "table_name_85" WHERE "henri leconte" = "third_place" AND "michael stich" = "runner_up"