已知:x1,x2,x3.x31都是正整数,满足x1