8.42/10.16	unsat
