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)
Y=<12を
充足しない
(失敗)
H=14,T=[6,9],L=[0],
X=0,SUM=12
Y=14