x[0] : x[1] : x[2] : x[3] : x[4] : x[5] : x[6] : sum(x, 7) = 28
contains(x, 7, 3) = 2
number(x, 7, 3) = 1