x+y<=6 && -6x+y<=12/.{x->1,y->2}