6.98/9.68	unsat
