proving integrality gap, fixed bug on the lp generation