ilp intro
objective function