-4*abs(7-x) <= -20