8.08/9.68	unsat
