fix variable and clause counter
show clause density
use strict state monad in Minisat backend
change message