[y<= –x + 7 && y < 3x + 11]