SAT based on minisat