CREATE TABLE instructor (dept_name VARCHAR(255), salary INTEGER)
Find the name of the department which has the highest average salary of professors.
    
SQL: SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY AVG(salary) DESC LIMIT 1