CREATE TABLE instructor (dept_name VARCHAR(255), salary INTEGER)
Find the names and average salaries of all departments whose average salary is greater than 42000.
    
SQL: SELECT dept_name, AVG(salary) FROM instructor GROUP BY dept_name HAVING AVG(salary) > 42000