4.39/6.58	unsat
