restored unit clause optimization in sat example
infinite loop in two equations
infinite loop gone; nother bug found
no exceptions, but solution not found either
still no solution found
guh
yay. It finds solution
commented out debugging