6.08/9.35	unsat
