9.68/9.87	unsat
