The Record-a-Song company has contracted with a rising star to record eight songs. The sizes in MB of the different songs are 8, 3, 5, 5, 9, 6, 7, and 12, respectively. Record-a-Song uses two CDs for recording. Each CD has a capacity of 30 MB. The company would like to distribute the songs between the two CDs such that the used space on each CD is about the same. Formulate the problem as an IP, and find the optimal solution.