6.17/9.68	unsat
