NovelUpperBoundsfortheConstrainedMost ProbableExplanationTask