/example_sat.smt/1.1/Mon May  4 12:53:53 2009/-kb/
/example_unsat.smt/1.1/Mon May  4 12:53:53 2009/-kb/
/set-1.smt/1.1/Mon May  4 12:53:53 2009/-kb/
