Add misc/three_sat_pruning