I'm fairly sure this is right.  Probably untested code path.
I'm fairly sure this is right.  Probably untested code path.


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver