8.28/9.71	unsat
