9.1 Introduction to Integer Programming