-1*v -1*a +1*afu +1*amax >= 0 -1*v +1*afu >= 0 -1*a +1*afu >= 0 1*d0 -1 >= 0 1*amax >= 0 1*d +2*amax >= 0 1*d +2*afu >= 0 1*v >= 0