more ilp constraints