changed HittingSet problem to equivalent exact cover problem