|x-8|+x<=7+|x+3|