initial statement of LP constraints