Set cover problem