9.68/9.91	unsat
