Q[x0,x1,x2,x3]{
x2+10*x3-3*x0,
x1+15*x3-4*x0}
