6.09/6.58	unsat
