6.08/6.16	unsat
