p1011b pruning but still TLE