Which year was the vessel Deva built as a Panamax DNV class ship?
CREATE TABLE table_name_54 (built INTEGER, vessel_name VARCHAR, class VARCHAR, type VARCHAR)
SELECT SUM(built) FROM table_name_54 WHERE class = "dnv" AND type = "panamax" AND vessel_name = "deva"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_54 (built INTEGER, vessel_name VARCHAR, class VARCHAR, type VARCHAR) Question: Which year was the vessel Deva built as a Panamax DNV class ship? [/INST] SELECT SUM(built) FROM table_name_54 WHERE class = "dnv" AND type = "panamax" AND vessel_name = "deva" </s>