- also push level 1 rules on leanrt stack - this also fixes a nasty bug where a learnt rule was   not disabled by enabledisablelearntrules()
- also push level 1 rules on leanrt stack
- this also fixes a nasty bug where a learnt rule was
  not disabled by enabledisablelearntrules()


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