Dorian Auto is considering manufacturing three types of autos: compact, midsize, and large. The resources required for, and the profits yielded by, each type of car are shown in Table. Currently, 6,000 tons of steel and 60,000 hours of labor are available. For pro- duction of a type of car to be economically feasible, at least 1,000 cars of that type must be produced. Formulate an IP to maximize Dorian's profit. Resources and Profits for Three Types of Cars Resource Steel required Labor required Car Type Midsize 3 tons Large 5 tons Compact 1.5 tons 30 hours 25 hours 40 hours Profit yielded ($) 2,000 3,000 4,000 Hint 1: number of compact cars produced is either 0 or larger than 1,000 Hint 2: you will need three binary auxiliary variables