Proper model reconstruction.
Unrolling once...
Unrolling solver now simplifies things a little bit...
Working on a DNF solver....
Have not solved performance issues.. DNF is too heavy a hammer.