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