9.67/12.16	unsat
