6.08/6.38	unsat
