-1*open +1*p5 >= 0 -1*p1 + 1 >= 0 -1*p2 + 1 >= 0 -1*p3 + 1 >= 0 -1*p4 + 1 >= 0 -1*p5 + 3 >= 0 1*p4 >= 0 1*p3 >= 0 1*p2 >= 0 1*p1 >= 0 1*open >= 0 1*chair >= 0 1*barber >= 0