Integer programming with a fixed number of variables