The Research and Development Department of DWR Ltd has developed new game consoles: zbox and ybox. Production of these consoles requires setting up computerized and fully automated production lines that would cost $25,000 for zbox and $32,000 for ybox. Once the initial costs are covered, each console generates hefty profits: $150/unit for zbox and $210/unit for ybox.

In its current production facilities in Kanata, DWR Ltd has space for creating three production lines capable of manufacturing the consoles and each line can be used to manufacture both consoles (if necessary) at the same time. However, management has decided that in order to mitigate the risks, only one production line would be open.

Console zbox can be produced at the rate of 15 units/hr on line 1, 18 units/hr on line 2, and 22 units/hr on line 3. The ybox can be produced at the rate of 20 units/hr, 17 units/hr, and 10 units/hr respectively. Line 1 has 340 hours production capacity, line 2 has 400 hours capacity, and line 3 has 380 hours capacity.

Write in the space below the algebraic formulation for the above mixed binary integer programming problem.