8.94/9.63	unsat
