6.82/9.29	unsat
