9.47/10.16	unsat
