x+2y+5z<2, x<y<z