10+x*y < 12*z