对于正整数x1,x2,x3,有x1 x2 x3=20