5.08/6.58	unsat
