markdown
c1:x+y<=8c2:3y<=xc3:x,y>=0