CREATE TABLE table_4078 ("Couple" CLOB, "Style" CLOB, "Music" CLOB, "Trine Dehli Cleve" FLOAT, "Tor Fl\\u00f8ysvik" FLOAT, "Karianne Gulliksen" FLOAT, "Christer Tornell" FLOAT, "Total" FLOAT)

What was the maximum value that Christer Tornell gave when Trine Dehli Cleve gave a 9?
SELECT MAX("Christer Tornell") FROM table_4078 WHERE "Trine Dehli Cleve" = '9'
SELECT MAX("Christer Tornell") FROM "table_4078" WHERE "Trine Dehli Cleve" = '9'