5.82/6.59	unsat
