y<-x-6 ; y<=4x+1