making progress on solver.  now i need to fix the pick_one and prune_one