pizza slice problem

when I am not taking the case x==z ,i am getting wrong ans but when including the case i m getting partial marks.are all the constraint included properly?please help