2<-1
X0+32=0*X1-X0-25+X0*2