from time import time


def controleer (x, y, z, som):
    return x != y and y != z and z != x and x + y + z == som


print("\nOplossingen exhaustief zoeken met snoeien")
starttijd = time()


for a in range (1,10):
    for b in range (1,10):
        if a != b:                                # regel 3
            c = 8 - a - b
            if 1 <= c <= 9 and a != c and b != c: # regel 3
                for d in range (1,10):
                    if a != d and b != d:         # regel 3, enz. (hieronder nog heel wat keren)
                        e = 11 - d
                        if 1 <= e <= 9 and d != e:
                            f = 7 - b - d
                            if 1 <= f <= 9 and f != b and f != d:
                                g = 17 - a - d
                                if 1 <= g <= 9 and g != a and g != d and g != f and controleer(c,e,g,17):
                                    h = 13 - f - g
                                    if 1 <= h <= 9 and h != f and h != g and controleer(b,e,h,11):
                                        print (a,b,c,d,e,f,g,h)

                                        
duur = time() - starttijd
print(f"zoektijd = {duur} s")