What is the name of the institution with the mascot of blue devils?
CREATE TABLE table_12434380_1 (institution VARCHAR, mascot VARCHAR)
SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_12434380_1 (institution VARCHAR, mascot VARCHAR) Question: What is the name of the institution with the mascot of blue devils? [/INST] SELECT institution FROM table_12434380_1 WHERE mascot = "Blue Devils" </s>