Covering_problem