y'2=y2-y+12