subject to tri123: x[1,2] + x[2,3] - x[1,3] <= 1;

subject to tri134n: -x[1,3] - x[3,4] + x[1,4] <= 0;