139.01/139.27	unsat
