我遇到了一个问题，试图优化可能会出现负数的值：
{ choose(-1..10)} = 1.
#minimize {C@1 : choose(C)}.
使用上面的代码，运行后，我获得：
Answer: 1
choose(-1)
Optimization: 0
OPTIMUM FOUND
Models : 1
Optimum : yes
Optimization : 0
Calls : 1
Time : 0.004s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.000s
最小值不应为-1吗？或者还有更多工作要做，以尽量减少负成本？