LP for IFA (1)