3.08/6.16	unsat
