6.08/6.32	unsat
