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([9],[6,0,0],ANS,6,12)