a<0->b<0->y(1)>=0->a>=-1/2
a>0->b>0->y(-1)<=0->a<=-1/2