* conseq minisat solution