5.82/6.88	unsat
