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, 10, 8, 7, 9, 6, 7, and 12, respectively. Record-a-Song uses two CDs for the recording. Each CD has a capacity of 40 MB. The company would like to distribute the songs between the two CDs such that the used space on each CDs is about the same. Formulate the problem as an ILP, and find the optimum solution.