38.09/39.27	unsat
