import time
from masked_sat import solve
t0=time.time()
for cp in ((0,1),(0,0,1),(0,0,0,1)):
    p=len(cp); worst=0; done=0
    for w in range(1,21):
        N=w+1
        while solve(cp,w,N): N+=1
        worst=max(worst,N-p-1); done=w
        if time.time()-t0>240: break
    print(f"Mia {''.join(map(str,cp)):5s}: CERTIFIED for every width 1..{done}: every finite start is exposed at a lit minute by minute {worst}   [{time.time()-t0:.0f}s]",flush=True)
    if time.time()-t0>240: break