求方程x1 x2 x3=15整数解的个数