c ------- SATO 4.1, 06/04/2003 on lanyu.inf.ed.ac.uk ------
c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file68", (pid: 19843) started at Wed Dec 17 21:16:12 2003

c Reading clauses in DIMACS format from file "dimacs_file68".
c Max_atom = 7, Clause_num = 9
c Timeout set after 169200 seconds
c There are 8 input clauses (6 unit, 1 subsumed, 13 retained).
c The mallocated memory is    2049.31 Kbytes.
c An empty clause is found!
s UNSATISFIABLE
c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file68", (pid: 19843) ended at Wed Dec 17 21:16:12 2003