6.01/9.34	unsat
