Matthew Suskind is the production planner for Blueberry Microcomputer Corporation (BMC). BMC manufactures two models of microcomputers: Model T1 a modified desktop and Model R3 and laptop version. Each T1 requires 2 disk drives, 4 hours of assembly labor and 2 hours of quality assurance labor. Each R3 requires 1 disk drive, 1 hour of assembly labor and 7 hours of quality assurance labor. After consulting with the appropriate departments, Matthew has estimated that monthly availability of resources for the upcoming quarter will as follows: disk drives, 20,000 units; assembly labor, 32,000 hours; and quality assurance labor, 88,000 hours. Sale of each T1 contributes $900 to BMCs profit and the sale of each R3 contributes $600. Write the linear programming formulation to determine the optimal production mix of the two models for BMC.