first version, LP uses edge variables for columns 4*4 matrix