6.08/6.13	unsat
