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_file296", (pid: 20983) started at Wed Dec 17 21:16:20 2003 c Reading clauses in DIMACS format from file "dimacs_file296". c Max_atom = 3, Clause_num = 5 c Timeout set after 169200 seconds c There are 5 input clauses (3 unit, 1 subsumed, 7 retained). c The mallocated memory is 2048.91 Kbytes. c An empty clause is found! s UNSATISFIABLE c The job "/home/stuart/AKT/ALC-SAT/sato4.1/sato dimacs_file296", (pid: 20983) ended at Wed Dec 17 21:16:20 2003