6.18/9.59	unsat
