Wow - it say something that makes any sense.
Small improvments.
best -> sort - allowing backtrack inside conj creating.
consLimit created - incrementing limit of conds inside conj.
Fixes in sat - removig examples include and adding some cuts.