8.88/9.74	unsat
