8.96/10.16	unsat
