Problem for Group 20 (formulate the problem and find optimal solution) Royal Australian Navy (RAN) is considering three types of attack aircraft to equip its carriers: a supersonic type, a subsonic type, and a boost glide type. The effectiveness of any aircraft to the fleet is determined by the expected military value of targets the aircraft can destroy during military engagements of a certain length. These have been estimated for the three types mentioned as follows: Type Expected Value of Target Destroyed Supersonic 32 Subsonic 26 Boost glide 27 The numbers of aircraft that could be accommodated, if the entire deck is allocated to one specific type, are 60 supersonic, 120 subsonic, or 160 boost glide, or any other linear combination of these type. The personnel requirements and monthly maintenance costs are given below: Type Personnel per Aircraft Maintenance Cost per Aircraft ($) Supersonic Subsonic Boost glide 16 14 18 6000 4000 7000 A carrier has facilities for 1,400 personnel, and the navy's monthly maintenance budget for aircraft is $600,000 per carrier. The problem is to find how many of each of the three types of aircraft should be purchased per carrier in order to maximize the value of the attack capability of a carrier. Formulate the problem as an integer programming model