我对Optimization（简单的说，就是求最大值或最小值）颇感兴趣，也试着解一些题。现遇到此题，http://www-optima.amp.i.kyoto-u.ac.jp/member/student/hedar/Hedar_files/TestGO_files/Page2502.htm  ，是一道20元函数（求要满足约束条件下的）最大值。

据其说，在给定的约束下，此函数最大值=0.803619。但我始终做不出此值，我只会用EXCEL中的SOLVER，SOLVER求出的值不令人满意。看看是否有高手用别的软件可解出此题，即求：

什么样的x1, x2, ..., x20可以使f(x)取最大值（可能是0.803619），并请随便告诉我那是什么软件。谢谢。