8.67/10.16	unsat
