Fixing the buried_unsat_kinemage integration test which has been failing. Forgot to add find_buns.cc to my last commit.