6.97/9.34	unsat
