class ExactCover::CoverSolver::TimeLimitReached