4x + y s8
yz - 4x - 1