p1011 solving, pruned but still TLE