solve(ANS,12).
choice2([3,14,6,9], [ ], ANS, 0, 12)
choice2([14,6,9], [0], ANS, 0, 12)
choice2([6,9], [0,0], ANS, 0, 12)
choice2([9], [0,0,0], ANS, 0, 12)
choice2([ ], [0,0,0,0], ANS, 0, 12)
SUM=0,SUM=12 不一致
(失敗)