6.39/9.71	unsat
