6.08/8.16	unsat
