6.82/8.77	unsat
