Reduce[{{a, b, c}.{1, 4, 7} == 12, ## & @@ Thread[0 <= {a, b, c} <= 1]}, {a, b, c}, Integers]
 (* a == 1 && b == 1 && c == 1 *)