Find the number and averaged salary of all instructors who are in the department with the highest budget.
CREATE TABLE department (dept_name VARCHAR, budget VARCHAR); CREATE TABLE instructor (salary INTEGER, dept_name VARCHAR)
SELECT TOP 1 AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE department (dept_name VARCHAR, budget VARCHAR); CREATE TABLE instructor (salary INTEGER, dept_name VARCHAR) Question: Find the number and averaged salary of all instructors who are in the department with the highest budget. [/INST] SELECT TOP 1 AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC </s>