verify min_steiner_tree