I have updated the formulation for HW3:5.