minsat -> minisat