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)