a1>0,s6=s17