generated at
LP-type problem