6.08/8.58	unsat
