5.82/6.91	unsat
