-2(1+z) + 4z+5 <= 11