added exact cover constraint. still has a bug. im removing possibilites
in some cases that are emptying the possibility list.