(prover
  (name minisat)
  (version <unknown>)
  (cmd <unknown>)
  (binary minisat)
  (ulimit (time memory ))
  (sat "^SATISFIABLE")
  (unsat "UNSATISFIABLE")
  (produces_proof false))