2y z 0 (31/48)

2y z 0