9.39/9.68	unsat
