Which country has doosan infracore as then company name?
CREATE TABLE table_237199_1 (country VARCHAR, company_name VARCHAR)
SELECT country FROM table_237199_1 WHERE company_name = "Doosan Infracore"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_237199_1 (country VARCHAR, company_name VARCHAR) Question: Which country has doosan infracore as then company name? [/INST] SELECT country FROM table_237199_1 WHERE company_name = "Doosan Infracore" </s>