-13x1 - 5x2 + 12x3;
  2x1 +  x2 +  2x3 + z1 =  5;
  3x1 + 3x2 +   x3 - z2 =  7;
   x1 + 5x2 +  4x3 = 10;
