# add a facet of the polyhedron
subject to CGcut: z[1] + x[1,2] + x[2,2] + x[1,3] + x[2,3] + z[4] >= 2;