5.88/9.27	unsat
