set_cover()