5.82/9.36	unsat
